A New Proof of the McKinsey–Tarski Theorem

, , &
Studia Logica 106 (6):1291-1311 (2018)
  Copy   BIBTEX

Abstract

It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure, then S4\mathsf S4 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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-018-9789-5

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,661

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A New Proof of the McKinsey–Tarski Theorem.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. van Mill - 2018 - Studia Logica 106 (6):1291-1311.
The Mckinsey–Tarski Theorem for Locally Compact Ordered Spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Bulletin of Symbolic Logic 27 (2):187-211.
The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.
A Proof Of Topological Completeness For S4 In.Giorgi Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript
Modal Logics of Metric Spaces.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Review of Symbolic Logic 8 (1):178-191.
Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
Cut-free Systems For The Modal Logic S4.3 And S4.3grz.Tatsuya Shimura - 1991 - Reports on Mathematical Logic.

Analytics

Added to PP
2019-01-25

Downloads
25 (#907,791)

6 months
5 (#879,729)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nick Bezhanishvili
University of Amsterdam

Citations of this work

The Baire Closure and its Logic.G. Bezhanishvili & D. Fernández-Duque - 2024 - Journal of Symbolic Logic 89 (1):27-49.

Add more citations

References found in this work

No references found.

Add more references