Abstract
AbstractIn the topological semantics for modal logic, S4 is well-known to be complete for the rational line, for the real line, and for Cantor space: these are special cases of S4’s completeness for any dense-in-itself metric space. The construction used to prove completeness can be slightly amended to show that S4 is not only complete, but also strongly complete, for the rational line. But no similarly easy amendment is available for the real line or for Cantor space and the question of strong completeness for these spaces has remained open, together with the more general question of strong completeness for any dense-in-itself metric space. In this paper, we prove that S4 is strongly complete for any dense-in-itself metric space.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference23 articles.
1. Completeness of S4 for the Lebesgue Measure Algebra
2. Der Aussagenkalkül und die Topologie
3. A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
4. Lando T. , & Sarenac D . (2011) Fractal Completeness Techniques in Topological Modal Logic: Koch Curve, Limit Tree, and the Real Line. Available from: http://philosophy.berkeley.edu/file/698/FractalCompletenessTechniques.pdf.
5. Blok W . (1976). Varieties of Interior Algebras. Dissertation, University of Amsterdam.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献