Adding a temporal dimension to a logic system

Marcelo Finger, Dov M. Gabbay

Research output: Contribution to journalArticlepeer-review

132 Scopus citations


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.

Original languageEnglish
Pages (from-to)203-233
Number of pages31
JournalJournal of Logic, Language and Information
Issue number3
StatePublished - Sep 1992
Externally publishedYes


  • database updates
  • historical databases
  • logic
  • temporal logic
  • temporal reasoning


Dive into the research topics of 'Adding a temporal dimension to a logic system'. Together they form a unique fingerprint.

Cite this