Modal Logics of Topological Relations
From MaRDI portal
Recommendations
Cited in
(43)- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- Subject-oriented spatial logic
- Handbook of Spatial Logics
- Drawing Euler diagrams from region connection calculus specifications with local search
- Dynamic logics of the region-based theory of discrete spaces
- A modal logic for subject-oriented spatial reasoning
- Logic-sensitivity and bitstring semantics in the square of opposition
- Modal logics for mereotopological relations
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- Topology, connectedness, and modal logic
- A decidable weakening of compass logic based on cone-shaped cardinal directions
- A tableau algorithm for description logics with concrete domains and general TBoxes
- Drawing interactive Euler diagrams from region connection calculus specifications
- Topology and duality in modal logic
- Topological-frame products of modal logics
- Flexible software architectures for ontology-based information systems
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- MEREOLOGICAL BIMODAL LOGICS
- Some Connections between Topological and Modal Logic
- scientific article; zbMATH DE number 5640557 (Why is no real title available?)
- Cardinal spaces and topological representations of bimodal logics
- A Topos-Theoretic Approach to Counterfactual Logic
- scientific article; zbMATH DE number 4121997 (Why is no real title available?)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- scientific article; zbMATH DE number 6302891 (Why is no real title available?)
- scientific article; zbMATH DE number 5295723 (Why is no real title available?)
- scientific article; zbMATH DE number 4047688 (Why is no real title available?)
- scientific article; zbMATH DE number 19500 (Why is no real title available?)
- Topological modal logic of \mathbb R with inequality
- Topological Semantics of Justification Logic
- Multi-dimensional modal logic as a framework for spatio-temporal reasoning
- Decision tree learning with spatial modal logics
- The intuitionistic temporal logic of dynamical systems
- A topological characterization of consistency of logic theories in propositional logic
- Logics in Artificial Intelligence
- Logics for stable and unstable mereological relations
- A tableau-based system for spatial reasoning about directional relations
- Modal logics of some geometrical structures
- A topos-theoretic approach to reference and modality
- scientific article; zbMATH DE number 6787689 (Why is no real title available?)
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- A modal logic framework for reasoning about comparative distances and topology
- Tangled modal logic for topological dynamics
This page was built for publication: Modal Logics of Topological Relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310658)
