Spatial logics with connectedness predicates

DOI10.2168/LMCS-6(3:7)2010MaRDI QIDQ2786121zbMATH OpenFDO

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)

zbMATH Keywords

computational complexitytopological spaceconnectednessspatial logic

Mathematics Subject Classification ID

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

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

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)