Topology, connectedness, and modal logic

MaRDI QIDQ3085165zbMATH OpenFDO

Authors Roman Kontchakov, Ian Pratt-Hartmann, F. Wolter, Michael Zakharyaschev

Publication date 30 March 2011

zbMATH Keywords

topologymodal logicconnectednessspatial logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Consistency and independence results in general topology (54A35)

Recommendations

• Spatial logics with connectedness predicates
• Reasoning About Space: The Modal Way
• On the Computational Complexity of Spatial Logics with Connectedness Constraints
• Topological logics with connectedness over Euclidean spaces
• Modal Logics of Topological Relations

Cited in

(19)

• A spatial modal logic with a location interpretation
• Handbook of Spatial Logics
• Topological aspects of combinatorial possibility
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• Topological logics with connectedness over Euclidean spaces
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
• Logic, topology, and integration
• Topology and duality in modal logic
• Reasoning About Space: The Modal Way
• Some Connections between Topological and Modal Logic
• Logics of space with connectedness predicates: complete axiomatizations
• Mereocompactness and Duality for Mereotopological Spaces
• Extended canonicity of certain topological properties of set spaces
• Modal Logics of Topological Relations
• A mereotopology based on sequent algebras
• scientific article; zbMATH DE number 3924775 (Why is no real title available?)
• Logical patterns in space. Models, simulations, and games
• Extended contact algebras and internal connectedness

This page was built for publication: Topology, connectedness, and modal logic

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