Simple completeness proofs for some spatial logics of the real line

DOI10.1142/9789814449274_0009MaRDI QIDQ5737990zbMATH OpenOpenAlexFDO

Authors Ian Hodkinson

Publication date 31 May 2017

Published in Proceedings of the 12th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814449274_0009

zbMATH Keywords

lexicographic sums of linear ordersmodal logictopological semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• A proof of topological completeness for S4 in (0,1)
• Reasoning About Space: The Modal Way
• S4 is Topologically Complete for (0,1): a Short Proof
• On completeness of dynamic topological logic
• On Dynamic Topological Logic of the Real Line

Cited in

(6)

• The Mckinsey-Tarski theorem for topological evidence logics
• Logics of space with connectedness predicates: complete axiomatizations
• Reasoning About Space: The Modal Way
• The McKinsey-Tarski theorem for locally compact ordered spaces
• Spatial logic of tangled closure operators and modal mu-calculus
• The d-logic of the rational numbers: a fruitful construction

This page was built for publication: Simple completeness proofs for some spatial logics of the real line

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5737990)