2026-07-23T19:06:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11362 2024-03-06T10:48:02Z ddc:004 open_access

A Modal Logic for Subject-Oriented Spatial Reasoning Wałęga, Przemysław Andrzej Zawidzki, Michał spatial logic modal logic subject-oriented computational complexity We present a modal logic for representing and reasoning about space seen from the subject’s perspective. The language of our logic comprises modal operators for the relations "in front", "behind", "to the left", and "to the right" of the subject, which introduce the intrinsic frame of reference; and operators for "behind an object", "between the subject and an object", "to the left of an object", and "to the right of an object", employing the relative frame of reference. The language allows us to express nominals, hybrid operators, and a restricted form of distance operators which, as we demonstrate by example, makes the logic interesting for potential applications. We prove that the satisfiability problem in the logic is decidable and in particular PSpace-complete. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Przemysław Andrzej Wałęga and Michał Zawidzki 2019 Is Part Of LIPIcs, Volume 147, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2019.4 urn:nbn:de:0030-drops-113622 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.4 eng https://creativecommons.org/licenses/by/3.0/legalcode