Logics for time intervals provide a natural framework for representing and reasoning about timing properties in various areas
of artificial intelligence and computer science. Unfortunately, most interval temporal logics proposed in the literature have
been shown to be (highly) undecidable. Decidable fragments of these logics have been obtained by imposing severe restrictions
on their expressive power.