A modal logic for subject-oriented spatial reasoning

DOI10.4230/LIPICS.TIME.2019.4zbMATH Open1515.68311MaRDI QIDQ6487552FDOQ6487552

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

Publication date: 3 February 2023

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

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)

Cited In (14)

• Subject-oriented spatial logic
• Handbook of Spatial Logics
• Reasoning about visibility
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• A spatial modal logic with a location interpretation

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)