A modal logic for subject-oriented spatial reasoning

DOI10.4230/LIPICS.TIME.2019.4MaRDI QIDQ6487552zbMATH OpenFDO

Authors Przemysław Andrzej Wałęga, Michał Zawidzki

Publication date 3 February 2023

zbMATH Keywords

computational complexitymodal logicspatial logicsubject-oriented spatial reasoning

Mathematics Subject Classification ID

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

Recommendations

• Subject-oriented spatial logic
• A spatial modal logic with a location interpretation
• scientific article; zbMATH DE number 1215465
• Modal logics based on mathematical morphology for qualitative spatial reasoning
• Modal Logics of Topological Relations

Cited in

(14)

• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• Subject-oriented spatial logic
• A spatial modal logic with a location interpretation
• Handbook of Spatial Logics
• Reasoning about visibility
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• A decidable weakening of compass logic based on cone-shaped cardinal directions
• A Logic of East and West
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• AI*IA 2005: Advances in Artificial Intelligence
• Determining the environment: a modal logic for closed interaction
• Decision tree learning with spatial modal logics
• Static Analysis
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)

This page was built for publication: A modal logic for subject-oriented spatial reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487552)