Temporalising Logics: Fifteen Years After

  • Michael Zakharyaschev
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4720)


A straightforward way of adding a temporal dimension to a logical system is to combine it with a suitable temporal logic. Typical examples are first-order temporal logic [3], temporal description logics [1] or spatio-temporal logics [4]. In 1992, Finger and Gabbay [2] started an investigation of possible ways of temporalising abstract logical systems.


  1. 1.
    Artale, A., Franconi, E.: Temporal description logics. In: Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Temporal Reasoning in Artificial Intelligence, pp. 375–388. Elsevier, Amsterdam (2005)CrossRefGoogle Scholar
  2. 2.
    Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. Journal of Logic, Language, and Information 1(3), 203–233 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects, vol. 1. Oxford University Press, Oxford (1994)zbMATHGoogle Scholar
  4. 4.
    Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research (JAIR) 23, 167–243 (2005)zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Michael Zakharyaschev
    • 1
  1. 1.School of Computer Science and Information Systems, Birkbeck College, LondonUK

Personalised recommendations