A new proof of the McKinsey-Tarski theorem
From MaRDI portal
Publication:1756601
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
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