A Decidable Spatial Logic with Cone-Shaped Cardinal Directions - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions

Résumé

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 satis- ability 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.
Fichier principal
Vignette du fichier
CSL_2009.pdf (194.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00717803 , version 1 (30-10-2013)

Identifiants

Citer

Angelo Montanari, Gabriele Puppis, Pietro Sala. A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. Proceedings of CSL 2009, 2009, Coimbra, Portugal. pp.394-408, ⟨10.1007/978-3-642-04027-6_29⟩. ⟨hal-00717803⟩

Collections

CNRS
169 Consultations
205 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More