Title :
Undecidability of Interval Temporal Logics with the Overlap Modality
Author :
Bresolin, Davide ; Della Monica, Dario ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido
Author_Institution :
Univ. of Verona, Verona, Italy
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.
Keywords :
temporal logic; Halpern-Shoham interval logic; interval temporal logics; octant tiling problem; overlap modality; Africa; Artificial intelligence; Computer science; Constraint theory; Hardware; Logic; Natural language processing; Ontologies; Real time systems; Spatial databases;
Conference_Titel :
Temporal Representation and Reasoning, 2009. TIME 2009. 16th International Symposium on
Conference_Location :
Bressanone-Brixen
Print_ISBN :
978-0-7695-3727-6
DOI :
10.1109/TIME.2009.24
