Pages that link to "Item:Q5310658"
From MaRDI portal
The following pages link to Modal Logics of Topological Relations (Q5310658):
Displaying 13 items.
- Logics for stable and unstable mereological relations (Q651278) (← links)
- Subject-oriented spatial logic (Q821569) (← 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)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- Drawing interactive Euler diagrams from region connection calculus specifications (Q2629218) (← links)
- Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search (Q2938524) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- Logic-sensitivity and bitstring semantics in the square of opposition (Q6145033) (← links)
- Decision tree learning with spatial modal logics (Q6649530) (← links)
