Modal Logics of Topological Relations

Cited In (32)

Subject-oriented spatial logic
Logic-sensitivity and bitstring semantics in the square of opposition
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
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
Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search
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
Cardinal spaces and topological representations of bimodal logics
Title not available (Why is that?)
A Topos-Theoretic Approach to Counterfactual Logic
Title not available (Why is that?)
Title not available (Why is that?)
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
Title not available (Why is that?)
Title not available (Why is that?)
Topological modal logic of $ \mathbb R$ with inequality
Title not available (Why is that?)
Topological Semantics of Justification Logic
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
Title not available (Why is that?)
Logics for stable and unstable mereological relations
Modal logics of some geometrical structures
A topos-theoretic approach to reference and modality
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)