Undecidability of Interval Temporal Logics with the Overlap Modality
TIME, pp. 88-95, 2009.
non-trivial reductioninterval temporal logicsoctant tiling problemmodal operatorinterval logic hsMore(15+)
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.
PPT (Upload PPT)