Sciweavers

Share
TIME
2009
IEEE

Undecidability of Interval Temporal Logics with the Overlap Modality

9 years 6 months ago
Undecidability of Interval Temporal Logics with the Overlap Modality
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these fragments are undecidable, by employing a non-trivial reduction from the octant tiling problem.
Davide Bresolin, Dario Della Monica, Valentin Gora
Added 21 May 2010
Updated 21 May 2010
Type Conference
Year 2009
Where TIME
Authors Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Comments (0)
books