Coherence in Modal Logic

zbMath1418.03093arXiv1902.02540MaRDI QIDQ5224581

George Metcalfe, Tomasz Kowalski

Publication date: 24 July 2019

Full work available at URL: https://arxiv.org/abs/1902.02540

zbMATH Keywords

modal logiccoherencefree algebrasuniform interpolationmodel completioncompact congruences

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Coherence in Modal Logic