Download PDFOpen PDF in browserTopological completeness of extensions of S44 pages•Published: July 28, 2014AbstractIt was left as an open problem in (Bezhanishvili and Gabelaia, 2011) whether a connected normal extension of S4 without FMP is also the modal logic of some subalgebra of R+.Our purpose here is to solve this problem affirmatively by showing that each connected normal extension of S4 (with or without FMP) is in fact the modal logic of some subalgebra of R+. We also prove that each normal extension of S4 (with or without FMP) is the modal logic of a subalgebra of Q+, as well as the modal logic of a subalgebra of C+. Keyphrases: countable model property, modal logic, topological semantics In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 27-30.
|