Spatial logics with connectedness predicates

DOI10.2168/LMCS-6(3:7)2010zbMATH Open1201.68115MaRDI QIDQ2786121FDOQ2786121

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

Publication date: 21 September 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Recommendations

• Logics of space with connectedness predicates: complete axiomatizations
• On the Computational Complexity of Spatial Logics with Connectedness Constraints
• Elimination of spatial connectives in static spatial logics
• Automata, Languages and Programming
• Spatial logic and spatial model checking for closure spaces
• Topological logics with connectedness over Euclidean spaces
• Publication:4942674
• A Spatial Logic for Simplicial Models
• Subject-oriented spatial logic

zbMATH Keywords

computational complexitytopological spaceconnectednessspatial logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Cited In (14)

• Topological logics with connectedness over Euclidean spaces
• Axiomatizing discrete spatial relations
• Topology, connectedness, and modal logic
• Logics of space with connectedness predicates: complete axiomatizations
• On the computability of region-based Euclidean logics
• On the Computational Complexity of Spatial Logics with Connectedness Constraints
• Counterparts in language and space. Similarity and \(\mathcal S\)-connection
• Qualitative spatial logics for buffered geometries
• What is nominalistic mereology?
• Static Analysis
• Logics in Artificial Intelligence
• Relational representation theorems for extended contact algebras
• Extended contact algebras and internal connectedness
• Contact logic is finitary for unification with constants

This page was built for publication: Spatial logics with connectedness predicates

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