Subject-oriented spatial logic

DOI10.1016/J.IC.2020.104643OpenAlexW3094859923MaRDI QIDQ821569FDOQ821569

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

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

zbMATH Keywords

modal logicsknowledge representationspatial logics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

Cited In (6)

• 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
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions

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)