THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES

DOI10.1017/bsl.2021.16zbMath1483.54016OpenAlexW3158265995MaRDI QIDQ4959665

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

Publication date: 17 September 2021

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2021.16

zbMATH Keywords

modal logicscattered spacelinearly ordered spacelocally compact spacetopological semanticsgeneralized ordered space

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Modal logic (including the logic of norms) (03B45) Scattered spaces (54G12) Local compactness, (sigma)-compactness (54D45) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics of Stone spaces
• Completeness of S4 with respect to the real line: revisited
• Topological properties of concept spaces (full version)
• Domain theory in logical form
• Resolvable, not maximally resolvable spaces
• On modal logics arising from scattered locally compact Hausdorff spaces
• A new proof of the McKinsey-Tarski theorem
• A simplicial complex model for dynamic epistemic logic to study distributed task computability
• Ordnungsfähigkeit total-diskontinuierlicher Räume
• The algebra of topology
• A problem of set-theoretic topology
• Tree-like constructions in topology and modal logic
• Justified Belief and the Topology of Evidence
• KRULL DIMENSION IN MODAL LOGIC
• Finite and $\omega $-resolvability
• CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
• MODAL LOGICS OF METRIC SPACES
• On maximally resolvable spaces

This page was built for publication: THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES