A new proof of the McKinsey-Tarski theorem

DOI10.1007/s11225-018-9789-5zbMath1437.03084OpenAlexW2789510750MaRDI QIDQ1756601

Joel Lucero-Bryan, Guram Bezhanishvili, Jan van Mill, Nick Bezhanishvili

Publication date: 21 December 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9789-5

zbMATH Keywords

modal logicmetrizable spacetopological semanticsBing's metrization theorem

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Modal logic (including the logic of norms) (03B45)

Related Items

THE BAIRE CLOSURE AND ITS LOGIC, Boundary-border extensions of the Kuratowski monoid, THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of S4 with respect to the real line: revisited
• Multimodal logics of products of topologies
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• A proof of topological completeness for S4 in \((0,1)\)
• The algebra of topology
• A problem of set-theoretic topology
• KRULL DIMENSION IN MODAL LOGIC
• Reasoning About Space: The Modal Way
• MODAL LOGICS OF METRIC SPACES
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Metrization of Topological Spaces
• Boolean Algebras with Operators. Part I