MODAL LOGICS OF METRIC SPACES

DOI10.1017/S1755020314000446zbMath1371.03022MaRDI QIDQ5247348

David Gabelaia, Joel Lucero-Bryan, Guram Bezhanishvili

Publication date: 24 April 2015

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

zbMATH Keywords

topological closuredense-in-itself metric spacemodal diamond

Mathematics Subject Classification ID

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

Related Items

Tree-like constructions in topology and modal logic ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ A new proof of the McKinsey-Tarski theorem ⋮ THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics of Stone spaces
• Euclidean hierarchy in modal logic
• The algebra of topology