Reasoning with Time Intervals: A Logical and Computational Perspective

Figure 3

Allen’s interval relations and the corresponding HS modalities.