A new proof of the McKinsey-Tarski Theorem
| Authors |
|
|---|---|
| Publication date | 12-2018 |
| Journal | Studia Logica |
| Volume | Issue number | 106 | 6 |
| Pages (from-to) | 1291-1311 |
| Organisations |
|
| 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 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. |
| Document type | Article |
| Language | English |
| Published at |
https://doi.org/10.1007/s11225-018-9789-5
(Final published version)
|
| Permalink to this page | |