A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
2016 (English)In: Acta Informatica, ISSN 0001-5903, E-ISSN 1432-0525, Vol. 53, no 3, 207-246 p.Article in journal (Refereed) Published
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 time intervals HS, which associates a modal operator with each binary relation between intervals over a linear order (the so-called Allen’s interval relations). In this paper, we compare and classify the expressiveness of all fragments of HS on the class of all linear orders and on the subclass of all dense linear orders. For each of these classes, we identify a complete set of definabilities between HS modalities, valid in that class, thus obtaining a complete classification of the family of all 4096 fragments of HS with respect to their expressiveness. We show that on the class of all linear orders there are exactly 1347 expressively different fragments of HS, while on the class of dense linear orders there are exactly 966 such expressively different fragments.
Place, publisher, year, edition, pages
2016. Vol. 53, no 3, 207-246 p.
Interval temporal logic, Expressiveness, Bisimulation
Algebra and Logic
Research subject Computer Science; Mathematical Logic; Theoretical Philosophy
IdentifiersURN: urn:nbn:se:su:diva-123441DOI: 10.1007/s00236-015-0231-4ISI: 000372894000001OAI: oai:DiVA.org:su-123441DiVA: diva2:921811