Reasoning with Time Intervals: A Logical and Computational Perspective

Figure 4

Hasse diagram of all and only decidable fragments of HS over finite linear orders.