Journal of Logic, Language and Information

, Volume 1, Issue 3, pp 203–233 | Cite as

Adding a temporal dimension to a logic system

  • Marcelo Finger
  • Dov M. Gabbay


We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time.

Key words

logic temporal logic temporal reasoning historical databases database updates 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. BenthemJohanvan, 1983, The Logic of Time. Dordrecht: D. Reidel.Google Scholar
  2. BurgessJ. P. and GurevichYuri 1985, “The decision problem for linear logic”, Notre Dame Journal of Formal Logic 26(2), 566–582.Google Scholar
  3. BurgessJohn P., 1982, “Axioms for tense logic I: ‘Since’ and ‘Until’”, Notre Dame Journal of Formal Logic 23(4), 367–374.Google Scholar
  4. BurgessJohn P., 1984 “Basic tense logic”, pp. 89–133 in Handbook of Philosophical Logic, Volume II, D.Gabbay and F.Guenthner, eds., Dordrecht: D. Reidel.Google Scholar
  5. Casanova, M. A. and Furtado, A. L., 1982, “A family of temporal languages for the description of transition constraints”, in 3rd Worksohp on Logical Bases for Databases, Toulouse, France, December.Google Scholar
  6. Fine, Kit and Schurz, Gerhard, 1992, “Transfer theorems for stratified multimodal logics”, to appear.Google Scholar
  7. Finger, Marcelo, 1992, “Handling database updates in two-dimensional temporal logic”, to appear in J. of Applied Non-Classical Logic.Google Scholar
  8. Fitting, Melvin, 1990, First-Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science. Springer-Verlag.Google Scholar
  9. GabbayDov M. and HodkinsonIan M., 1990, “An axiomatization of the temporal logic with until and since over the real numbers”, Journal of Logic and Computation 1(2), 229–259.Google Scholar
  10. GabbayDov M., 1987, “The declarative past and the imperative future” in Coloquium on Temporal Logic and Specifications-Lecture Notes in Computer Science 389, B.Banieqbal et al., eds., Manchester: Springer-Verlag.Google Scholar
  11. Gabbay, Dov M., 1990, “Temporal logic, tense or non-tense — inaugural lecture at Imperial College, 17 May 1988”, in Machinations — Computational Studies of Logic, Language and Cognition, R. Spencer-Smith and S. Torrance, eds., Ablex Publishing Co.Google Scholar
  12. Gabbay, Dov M., 1991a, “Labelled Deductive Systems — Part I”, Technical Report CIS-Bericht-90-22, Universität München, Centrum für Informations — und Sprachverarbeitung.Google Scholar
  13. Gabbay, Dov M., 1991b, “Modal and temporal logic programming III—metalevel features in the object level”, in Non-Classical Logic Programming, L. F. del Cerro and M. Penttonen, eds., Oxford University Press.Google Scholar
  14. Gabbay, Dov M., 1991c, Temporal Logic—Mathematical Foundations and Computational Aspects. to appear.Google Scholar
  15. Gabbay, Dov M., 1991d, “Theoretical foundations for non-monotonic reasoning Part 2: Structured non-monotonic theories”, pp. 19–40 in SCAI 91-Third Scandinavian Conference on AI.Google Scholar
  16. Gabbay, Dov M., 1992, “Fibred semantics and combinations of logics”, Manuscript, Imperial College.Google Scholar
  17. GarsonJames W., 1984 “Quantification in modal logic”, pp. 249–307 in Handbook of Philosophical Logic, Volume II, D.Gabbay and F.Guenthner, eds., Dordrecht: D. Reidel.Google Scholar
  18. Halpern, Joseph Y. and Moses, Yoram, 1985, “A guide to the modal logics of knowledge and belief”, pp. 480–490 in Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85).Google Scholar
  19. Hintikka, Jaakko, 1962, Knowledge and Belief, Cornell University Press.Google Scholar
  20. Hughes, G. E. and Cresswell, M. J., 1968, An Introduction to Modal Logic, Methuen.Google Scholar
  21. Konolige, K., 1986, A Deductive Model of Belief, Research notes in Artificial Intelligence, Morgan Kaufmann.Google Scholar
  22. KrachtMarcus and WolterFrank, 1991, “Properties of independently axiomatizable bimodal logics”, Journal of Symbolic Logic 56(4), 1469–1485.Google Scholar
  23. Quine, Willard Van Orman, 1960, Word and Object, MIT Press.Google Scholar
  24. Reynolds, Mark A., 1992, “An axiomatisation for until ans since over the reals without the IRR rule”, to appear in Studia Logica.Google Scholar
  25. ThomasonRichmond H., 1984, “Combinations of tense and modality”, pp. 135–165 in Handbook of Philosophical Logic, Volume II, D.Gabbay and F.Guenthner, eds., Dordrecht: D. Reidel.Google Scholar
  26. XuMing, 1988, “On some U, S-tense logics”, Journal of Philosophical Logic 17, 181–202.Google Scholar

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • Marcelo Finger
    • 1
  • Dov M. Gabbay
    • 1
  1. 1.Department of ComputingImperial CollegeLondonU.K.

Personalised recommendations