Undecidability of Interval Temporal Logics with the Overlap Modality.

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Browse the full TIME paper archive.