We introduce a modal logic, called Cone Logic, whose formulas describeproperties of points in the plane and spatial relationships between them.Points are labelled by proposition letters and spatial relations are induced bythe four cone-shaped cardinal directions. Cone Logic can be seen as a weakeningof Venema's Compass Logic. We prove that, unlike Compass Logic and otherprojection-based spatial logics, its satisfiability problem is decidable(precisely, PSPACE-complete). We also show that it is expressive enough tocapture meaningful interval temporal logics - in particular, the intervaltemporal logic of Allen's relations "Begins", "During", and "Later", and theirtransposes.
A decidable weakening of Compass Logic based on cone-shaped cardinal directions
SALA, Pietro
2015-01-01
Abstract
We introduce a modal logic, called Cone Logic, whose formulas describeproperties of points in the plane and spatial relationships between them.Points are labelled by proposition letters and spatial relations are induced bythe four cone-shaped cardinal directions. Cone Logic can be seen as a weakeningof Venema's Compass Logic. We prove that, unlike Compass Logic and otherprojection-based spatial logics, its satisfiability problem is decidable(precisely, PSPACE-complete). We also show that it is expressive enough tocapture meaningful interval temporal logics - in particular, the intervaltemporal logic of Allen's relations "Begins", "During", and "Later", and theirtransposes.File | Dimensione | Formato | |
---|---|---|---|
1510.03319.pdf
accesso aperto
Licenza:
Creative commons
Dimensione
411.29 kB
Formato
Adobe PDF
|
411.29 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.