Pages that link to "Item:Q2904067"
From MaRDI portal
The following pages link to Logics of space with connectedness predicates: complete axiomatizations (Q2904067):
Displaying 7 items.
- Topology and measure in logics for region-based theories of space (Q1694810) (← links)
- Relational representation theorems for extended contact algebras (Q2243545) (← links)
- Extended contact algebras and internal connectedness (Q2307301) (← links)
- Spatial logics with connectedness predicates (Q2786121) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- A mereotopology based on sequent algebras (Q4586239) (← links)
- On the Computational Complexity of Spatial Logics with Connectedness Constraints (Q5505582) (← links)