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.

• Type: Conference
• Year: 2009
• Where: TIME
• Authors: Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
• Keywords: Interval Logic Hs, Logical Reasoning, Modal Operators, Octant Tiling Problem, TIME 2009