STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES

DOI10.1017/S1755020319000534zbMath1485.03049arXiv1905.03477OpenAlexW3105743010MaRDI QIDQ5117595

Robert Goldblatt, I. M. Hodkinson

Publication date: 26 August 2020

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

Full work available at URL: https://arxiv.org/abs/1905.03477

zbMATH Keywords

Cantor setgraded modalitiesdifference modalityuniversal modalitydense in itselfcoderivative operator

Mathematics Subject Classification ID

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

Cites Work

• Spatial logic of tangled closure operators and modal mu-calculus
• Minimally generated Boolean algebras
• Topological model theory
• The finite model property for logics with the tangle modality
• The algebra of topology
• Topological Modal Logics with Difference Modality
• Introduction to Boolean Algebras
• MODAL LOGICS OF METRIC SPACES
• Derivational Modal Logics with the Difference Modality
• STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
• Paracompactness and product spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item