Temporal logic

Vázquez, Margarita  mvazquez@ull.es
 Incorporated contributions
M. Vázquez (14/04/2010)
 Usage domain
logique temporelle
 German temporäre Logik

Ever since Aristotle (and even before him, see the stoics), philosophers have tried to formalize time. It is only around the fifties, starting with the work of Arthur Prior, when temporal logic is developed considerably with the development of new systems used to represent different types of time (linear time, infinite time, branching time, etc.). The foundation of possible worlds semantics was vital for the semantics of such systems. These systems have found applications in a variety of fields, the most representative being those of linguistics and computer science.

Temporal logic systems can be based on propositional logic or on first order logic. On both cases operators are added to represent the past (P and H) and the future (F and G). It is also possible to include operators to represent intervals. The most common semantics is based on the notion of moment. These moments are organized through an ulteriority relation (before/after). Hence, if I claim that m0 < m1 I am claiming that moment m0 is previous to moment m1. This ulteriority relation has different properties depending on the type of time we are working with, although it is always irreflexive. Thus, for instance, if time is transitive, the ulteriority relation will have the transitive property and syntactically transitivity axioms will be introduced ( FFA®FA and PPA®PA).

There are multimodal and bidimensional systems of temporal logic, such as the system of indeterministic time HN1, which combines temporal and modal operators and in whose semantic, evaluation is made in two indices (moment and history).

Presently, hybrid temporal logic systems are being developed. These systems increase the expressive power of temporal logic, because they allow making reference in the syntax to the moments.

  • PRIOR, A. (1967). Past, Present and Future. Oxford:Oxford University Press.
  • BLACKBURN, P. (1994) "Tense, Temporal Reference and Tense Logic". Journal of Semantics, 11, pp. 83-101.
  • GABBAY, D., HODKINSON, I. y REYNOLDS, M. (1994). Temporal Logic. Mathematical Foundations and Computational Aspects. Volume 1. Oxford: Oxford University Press.
New entry. Before doing a new entry, please, copy this line and the following ones and paste them at the column bottom. Next fill out the fields: 'name', 'date' and 'text', and delete this upper blue paragraph.
Name (date)
[Entry text]


Incorporated entries
M. Vázquez (14/04/2010)
[It corresponds with the first version of the article, which is now showed in the left column. It is edited in both English and Spanish]