Logics of space with connectedness predicates: complete axiomatizations

MaRDI QIDQ2904067zbMATH OpenFDO

Authors Tinko Tinchev, Dimiter Vakarelov

Publication date 5 August 2012

zbMATH Keywords

completeness theoremsconnectednesscontact algebrasmereotopologyquantifier-free axiomatizationregion-based theory of spacespatial logical

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• Spatial logics with connectedness predicates
• Topological logics with connectedness over Euclidean spaces
• Topology, connectedness, and modal logic
• Theory of completeness for logical spaces
• On the Computational Complexity of Spatial Logics with Connectedness Constraints
• An axiom system for a spatial logic with convexity
• Simple completeness proofs for some spatial logics of the real line
• A view of connexive logics
• Topology and measure in logics for region-based theories of space

Cited in

(8)

• Topology and measure in logics for region-based theories of space
• Relational representation theorems for extended contact algebras
• Extended contact algebras and internal connectedness
• Spatial logics with connectedness predicates
• An axiom system for a spatial logic with convexity
• Contact logic is finitary for unification with constants
• A mereotopology based on sequent algebras
• On the Computational Complexity of Spatial Logics with Connectedness Constraints

This page was built for publication: Logics of space with connectedness predicates: complete axiomatizations

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