We introduce a spatial modal logic based on cone-shaped cardinal directions over the rational plane and we prove that, unlike projection-based ones, such as, for instance, Compass Logic, its satisfiability problem is decidable (PSPACE-complete). We also show that it is expressive enough to subsume meaningful interval temporal logics, thus generalizing previous results in the literature, e.g., its decidability implies that of the subinterval/superinterval temporal logic interpreted over the rational line. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Montanari, A., Puppis, G., & Sala, P. (2009). A decidable spatial logic with cone-shaped cardinal directions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5771 LNCS, pp. 394–408). https://doi.org/10.1007/978-3-642-04027-6_29
Mendeley helps you to discover research relevant for your work.