Topology, connectedness, and modal logic

zbMATH Open1244.03066MaRDI QIDQ3085165FDOQ3085165

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

Publication date: 30 March 2011

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

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)

Cited In (19)

• Handbook of Spatial Logics
• Topological aspects of combinatorial possibility
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Topological logics with connectedness over Euclidean spaces
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Logical patterns in space. Models, simulations, and games
• Extended contact algebras and internal connectedness
• A spatial modal logic with a location interpretation

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)