Skip to main content
Log in

Modal Logics of Stone Spaces

  • Published:
Order Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: the modal way. J. Log. Comput. 13(6), 889–920 (2003)

    Article  MATH  Google Scholar 

  2. Bezhanishvili, G., Gehrke, M.: Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Logic 131(1–3), 287–301 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bezhanishvili, G., Harding, J.: The modal logic of \(\beta(\mathbb N)\). Arch. Math. Log. 48(3–4), 231–242 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bezhanishvili, G., Mines, R., Morandi, P.J.: Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. Topol. Appl. 132(3), 291–306 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  5. Bezhanishvili, G., Morandi, P.J.: Scattered and hereditarily irresolvable spaces in modal logic. Arch. Math. Log. 49(3), 343–365 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  6. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  7. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. The Clarendon Press Oxford University Press, New York (1997)

    Google Scholar 

  8. Comfort, W.W., Negrepontis, S.: The Theory of Ultrafilters. Die Grundlehren der Mathematischen Wissenschaften, Band 211. Springer, New York (1974)

    Google Scholar 

  9. de Groot, J.: Topological classification of all closed countable and continuous classification of all countable pointsets. Indag. Math. 7, 42–53 (1945)

    Google Scholar 

  10. Gabelaia, D.: Modal definability in topology. Master’s thesis, ILLC, University of Amsterdam (2001)

  11. Hewitt, E.: A problem of set-theoretic topology. Duke Math. J. 10, 309–333 (1943)

    Article  MathSciNet  MATH  Google Scholar 

  12. Koppelberg, S.: Handbook of Boolean Algebras, vol. 1. North-Holland, Amsterdam (1989)

    Google Scholar 

  13. McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 45, 141–191 (1944)

    Article  MathSciNet  MATH  Google Scholar 

  14. 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)

    MATH  Google Scholar 

  15. Rosenstein, J.G.: Linear Orderings. Pure and Applied Mathematics, vol. 98. Academic, New York (1982)

    Google Scholar 

  16. Semadeni, Z.: Banach Spaces of Continuous Functions, vol. I. PWN—Polish Scientific Publishers, Warsaw (1971)

    Google Scholar 

  17. Stone, M.H.: The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40(1), 37–111 (1936)

    Google Scholar 

  18. Stone, M.H.: Algebraic characterizations of special Boolean rings. Fundam. Math. 29, 223–302 (1937)

    Google Scholar 

  19. van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Handbook of Spatial Logics, pp. 217–298. Springer, Dordrecht (2007)

    Chapter  Google Scholar 

  20. van Benthem, J., Bezhanishvili, G., Gehrke, M.: Euclidean hierarchy in modal logic. Stud. Log. 75(3), 327–344 (2003)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to John Harding.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-011-9224-2

Keywords

Mathematics Subject Classification (2010)

Navigation