Subject-oriented spatial logic
From MaRDI portal
Publication:821569
DOI10.1016/J.IC.2020.104643OpenAlexW3094859923MaRDI QIDQ821569
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Many-dimensional modal logics: theory and applications
- Expressiveness and completeness of an interval tense logic
- The complexity of theorem-proving procedures
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- A ModalWalk 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
- A modal logic for subject-oriented spatial reasoning
Cited In (2)
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)
