Pages that link to "Item:Q5310658"
From MaRDI portal
The following pages link to Modal Logics of Topological Relations (Q5310658):
Displayed 5 items.
- Logics for stable and unstable mereological relations (Q651278) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Modal logics of some geometrical structures (Q927480) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)