Abstract
Interpreting modal diamond as the closure of a topological space, we axiomatize the modal logic of each metrizable Stone space and of each extremally disconnected Stone space. As a corollary, we obtain that S4.1 is the modal logic of the Pelczynski compactification of the natural numbers and S4.2 is the modal logic of the Gleason cover of the Cantor space. As another corollary, we obtain an axiomatization of the intermediate logic of each metrizable Stone space and of each extremally disconnected Stone space. In particular, we obtain that the intuitionistic logic is the logic of the Pelczynski compactification of the natural numbers and the logic of weak excluded middle is the logic of the Gleason cover of the Cantor space.
Similar content being viewed by others
References
Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: the modal way. J. Log. Comput. 13(6), 889–920 (2003)
Bezhanishvili, G., Gehrke, M.: Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Logic 131(1–3), 287–301 (2005)
Bezhanishvili, G., Harding, J.: The modal logic of \(\beta(\mathbb N)\). Arch. Math. Log. 48(3–4), 231–242 (2009)
Bezhanishvili, G., Mines, R., Morandi, P.J.: Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. Topol. Appl. 132(3), 291–306 (2003)
Bezhanishvili, G., Morandi, P.J.: Scattered and hereditarily irresolvable spaces in modal logic. Arch. Math. Log. 49(3), 343–365 (2010)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. The Clarendon Press Oxford University Press, New York (1997)
Comfort, W.W., Negrepontis, S.: The Theory of Ultrafilters. Die Grundlehren der Mathematischen Wissenschaften, Band 211. Springer, New York (1974)
de Groot, J.: Topological classification of all closed countable and continuous classification of all countable pointsets. Indag. Math. 7, 42–53 (1945)
Gabelaia, D.: Modal definability in topology. Master’s thesis, ILLC, University of Amsterdam (2001)
Hewitt, E.: A problem of set-theoretic topology. Duke Math. J. 10, 309–333 (1943)
Koppelberg, S.: Handbook of Boolean Algebras, vol. 1. North-Holland, Amsterdam (1989)
McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 45, 141–191 (1944)
Pełczyński, A.: A remark on spaces 2X for zero-dimensional X. Bull. Acad. Pol. Sci. Sér. Sci. Math. Astron. Phys. 13, 85–89 (1965)
Rosenstein, J.G.: Linear Orderings. Pure and Applied Mathematics, vol. 98. Academic, New York (1982)
Semadeni, Z.: Banach Spaces of Continuous Functions, vol. I. PWN—Polish Scientific Publishers, Warsaw (1971)
Stone, M.H.: The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40(1), 37–111 (1936)
Stone, M.H.: Algebraic characterizations of special Boolean rings. Fundam. Math. 29, 223–302 (1937)
van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Handbook of Spatial Logics, pp. 217–298. Springer, Dordrecht (2007)
van Benthem, J., Bezhanishvili, G., Gehrke, M.: Euclidean hierarchy in modal logic. Stud. Log. 75(3), 327–344 (2003)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Harding, J. Modal Logics of Stone Spaces. Order 29, 271–292 (2012). https://doi.org/10.1007/s11083-011-9224-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-011-9224-2