Conference paper
Undecidability of Interval Temporal Logics with the Overlap Modality
Abstract
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.
| Language: | English |
|---|---|
| Publisher: | IEEE Computer Society Press |
| Year: | 2009 |
| Pages: | 88-95 |
| Proceedings: | 16th International Symposium on Temporal Representation and Reasoning |
| ISBN: | 0769537278 , 1509075143 , 9780769537276 and 9781509075140 |
| ISSN: | 23326468 and 15301311 |
| Types: | Conference paper |
| DOI: | 10.1109/TIME.2009.24 |
