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 m 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. References
- 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.
| Entries
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] |