On the Expressive Power of First Order-Logic Extended with Allen’s Relations in the Strict Case
We consider the languages of first order-logic (with equality) extended with Allen’s relations for temporal intervals. We give a complete classification of such languages in terms of relative expressive power, thus determining how many, and which, are the intrinsically different extensions of first-order logic with one or more of Allen’s relations. Classifications are obtained for three different classes of interval structures, namely those based on arbitrary, discrete, and dense linear orders. The strict semantics (where point-intervals are excluded) is assumed throughout.
KeywordsLinear Order Representation Theorem Constraint Satisfaction Problem Tense Logic Interval Relation
Unable to display preview. Download preview PDF.
- [AH85]Allen, J.F., Hayes, P.J.: A common-sense theory of time. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence, pp. 528–531. Morgan Kaufmann (1985)Google Scholar
- [Coe09]Coetzee, C.J.: Representation theorems for classes of interval structures. Master’s thesis, Department of Mathematics, University of Johannesburg (2009)Google Scholar
- [Lad78]Ladkin, P.: The Logic of Time Representation. PhD thesis, University of California, Berkeley (1978)Google Scholar