On the Expressive Power of First Order-Logic Extended with Allen’s Relations in the Strict Case

  • Willem Conradie
  • Guido Sciavicco
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7023)


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.


Linear Order Representation Theorem Constraint Satisfaction Problem Tense Logic Interval Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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
  2. [All83]
    Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26, 832–843 (1983)CrossRefzbMATHGoogle Scholar
  3. [Coe09]
    Coetzee, C.J.: Representation theorems for classes of interval structures. Master’s thesis, Department of Mathematics, University of Johannesburg (2009)Google Scholar
  4. [GMG03]
    Goranko, V., Montanari, A.: Sciavicco G. Propositional interval neighborhood temporal logics. Journal of Universal computer science 9(9), 1137–1167 (2003)MathSciNetGoogle Scholar
  5. [GMG04]
    Goranko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. Journal of Applied Non-Classical Logics 14(1-2), 9–54 (2004)CrossRefzbMATHGoogle Scholar
  6. [Lad78]
    Ladkin, P.: The Logic of Time Representation. PhD thesis, University of California, Berkeley (1978)Google Scholar
  7. [vB83]
    van Benthem, J.F.A.K.: The logic of time. Synthese Library, vol. 156. D. Reidel Publishing Co., Dordrecht (1983); A model-theoretic investigation into the varieties of temporal ontology and temporal discourseCrossRefzbMATHGoogle Scholar
  8. [Ven90]
    Venema, Y.: Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic 31(4), 529–547 (1990)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Willem Conradie
    • 1
  • Guido Sciavicco
    • 2
  1. 1.Department of MathematicsUniversity of JohannesburgJohannesburgSouth Africa
  2. 2.Department of Information, Engineering and CommunicationsUniversity of MurciaMurciaSpain

Personalised recommendations