A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861)

The authors consider the six Allen relations of interval temporal logic (\(A\), \(L\), \(B\), \(E\), \(D\), \(O\)) and their inverses. We have thus 12 modalities, giving rise to \(2^{12}\) modal logics. On general linear orders, these logics are 1347 up to equiexpressivity, and on dense linear orders, they are 966.