Subject-oriented spatial logic

DOI10.1016/J.IC.2020.104643OpenAlexW3094859923MaRDI QIDQ821569FDOQ821569

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)

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)

• 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)