| Authors |
|
| Publication date |
12-2018
|
| Journal |
Studia Logica
|
| Volume | Issue number |
106 | 6
|
| Pages (from-to) |
1291-1311
|
| Organisations |
-
Faculty of Science (FNWI) - Korteweg-de Vries Institute for Mathematics (KdVI)
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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
|
|
Permalink to this page
|