A complete classification of the expressiveness of interval logics of Allen's relations

Interval temporal logics take time intervals, instead of time points, as their primitive temporal entities. One of the most studied interval temporal logics is Halpern and Shoham's modal logic of t...