Subject-oriented spatial logic

DOI10.1016/J.IC.2020.104643MaRDI QIDQ821569zbMATH OpenOpenAlexFDO

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

Publication date 21 September 2021

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:3908a683-7eb4-4945-995c-8c265c0da8e7

zbMATH Keywords

modal logicsknowledge representationspatial logics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• A modal logic for subject-oriented spatial reasoning
• A spatial modal logic with a location interpretation
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• scientific article; zbMATH DE number 1215465
• A new modal logic for reasoning about space: spatial propositional neighborhood logic

Cites work

• scientific article; zbMATH DE number 1487806 (Why is no real title available?)
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• A complete axiom system for polygonal mereotopology of the real plane
• A logic framework for reasoning with movement based on fuzzy qualitative representation
• A modal logic for subject-oriented spatial reasoning
• A modal walk through space
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• An elementary proof of the completeness of PDL
• Expressiveness and completeness of an interval tense logic
• Individuals and points
• Many-dimensional modal logics: theory and applications
• Modal Logics of Topological Relations
• On the Products of Linear Modal Logics
• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
• The complexity of theorem-proving procedures
• The computational complexity of hybrid temporal logics
• Undecidability of compass logic

Cited in

(6)

• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• A modal logic for subject-oriented spatial reasoning
• A decidable weakening of compass logic based on cone-shaped cardinal directions
• A Logic of East and West
• Static Analysis
• Spatial logics with connectedness predicates

This page was built for publication: Subject-oriented spatial logic

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