A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders
2013 20th International Symposium on Temporal Representation and Reasoning
Interval temporal logics are temporal logics that take time intervals, instead of time instants, 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 has a distinct modality for each binary relation between intervals over a linear order. As HS turns out to be undecidable over most classes of linear orders, the study of HS fragments, featuring a proper subset of HS modalities, is a major item indoi:10.1109/time.2013.16 dblp:conf/time/AcetoMIMS13 fatcat:264sht62ovd3vf574shs5dca3m