Abstract
It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure (and hence modal box as interior), then \(\mathsf S4\) is the logic of any dense-in-itself metrizable space. The McKinsey–Tarski Theorem relies heavily on a metric that gives rise to the topology. We give a new and more topological proof of the theorem, utilizing Bing’s Metrization Theorem.
Similar content being viewed by others
References
Aiello, M., J. van Benthem, and G. Bezhanishvili, Reasoning about space: The modal way, J. Logic Comput. 13(6): 889–920, 2003.
Bezhanishvili, G., N. Bezhanishvili, J. Lucero-Bryan, and J. van Mill, \(\text{ S }4.3\) and hereditarily extremally disconnected spaces, Georgian Math. J. 22(4): 469–475, 2015.
Bezhanishvili, G., N. Bezhanishvili, J. Lucero-Bryan, and J. van Mill, Krull dimension in modal logic, J. Symb. Logic 82(4): 1356–1386, 2017.
Bezhanishvili, G., D. Gabelaia, and J. Lucero-Bryan, Modal logics of metric spaces, Rev. Symb. Log. 8(1): 178–191, 2015.
Bezhanishvili, G., and M. Gehrke, Completeness of S4 with respect to the real line: revisited, Ann. Pure Appl. Logic 131(1–3): 287–301, 2005.
Bing, R. H., Metrization of topological spaces, Can. J. Math. 3: 175–186, 1951.
Blok, W., Varieties of interior algebras, Ph.D. thesis, University of Amsterdam, 1976.
Engelking, R., General topology, second edn., Heldermann Verlag, Berlin, 1989.
Hewitt, E., A problem of set-theoretic topology, Duke Math. J. 10(2): 309–333, 1943.
Jónsson, B., and A. Tarski, Boolean algebras with operators. I, Amer. J. Math. 73(4): 891–939, 1951.
Kripke, S. A., Semantical analysis of modal logic. I. Normal modal propositional calculi, Z. Math. Logik Grundlagen Math. 9: 67–96, 1963.
McKinsey, J. C. C., and A. Tarski, The algebra of topology, Ann. Math. 45(1): 141–191, 1944.
Mints, G., A completeness proof for propositional S4 in Cantor space, in Logic at work, vol. 24 of Stud. Fuzziness Soft Comput., Physica, Heidelberg, 1999, pp. 79–88.
Mints, G., and T. Zhang, A proof of topological completeness for S4 in \((0,1)\), Ann. Pure Appl. Logic 133(1–3): 231–245, 2005.
Rasiowa, H., and R. Sikorski, The mathematics of metamathematics, Monografie Matematyczne, Tom 41, Państwowe Wydawnictwo Naukowe, Warsaw, 1963.
van Benthem, J., and G. Bezhanishvili, Modal logics of space, in Handbook of Spatial Logics, Springer, Dordrecht, 2007, pp. 217–298.
van Benthem, J., G. Bezhanishvili, B. ten Cate, and D. Sarenac, Multimodal logics of products of topologies, Studia Logica 84(3): 369–392, 2006.
Acknowledgements
We are thankful to the referee who suggested to add Section 5 to the paper. The first two authors were partially supported by Shota Rustaveli National Science Foundation Grant # DI-2016-25.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J. et al. A New Proof of the McKinsey–Tarski Theorem. Stud Logica 106, 1291–1311 (2018). https://doi.org/10.1007/s11225-018-9789-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9789-5