Modal Logics of Topological Relations

DOI10.2168/LMCS-2(2:5)2006zbMath1126.03026OpenAlexW3106280715MaRDI QIDQ5310658

Frank Wolter, Carsten Lutz

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-2(2:5)2006

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (12)

Subject-oriented spatial logic ⋮ MEREOLOGICAL BIMODAL LOGICS ⋮ Drawing interactive Euler diagrams from region connection calculus specifications ⋮ Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Logic-sensitivity and bitstring semantics in the square of opposition ⋮ Logics for stable and unstable mereological relations ⋮ Modal logics of some geometrical structures ⋮ A new modal logic for reasoning about space: spatial propositional neighborhood logic ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Flexible software architectures for ontology-based information systems

This page was built for publication: Modal Logics of Topological Relations