El término lógica temporal, dentro de la lógica se usa para describir un sistema de reglas y simbolismo para la representación y el razonamiento sobre proposiciones en las que tiene presencia el factor tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene una cierta importancia dentro del estudio de la informática, en particular los desarrollos introducidos por Amir Pnueli.

La lógica temporal fue estudiada porprimera vez por Aristóteles, en algunos de sus escritos aparecen expresiones que guardan una semejanza con una lógica temporal de primer orden; así aparecen expresiones con [[cuantificador existencial | cuantificadores existenciales]] y cuantificadores universales, junto a secuencias de estados de un orden temporal, lo que, en la práctica es una lógica temporal.

Por ejemplo, tomemos la sentencia: "Tengo hambre"; aunque su significado es independiente del tiempo, el valor de verdad o falsedad de lamisma puede variara con el tiempo en un determinado sistema que incluya acciones de comer; así, en función del sistema, algunas veces será cierta y otras falsa, aunque nunca será cierta y falsa simultáneamente.

En lógica temporal aparecen los mismos operadores que en una lógica de primer orden, junto con otros nuevos, entre los que se pueden encontrar: Siempre, algunas veces y nunca.

Algunos sistemas lógicos basados en lógica temporal son: Lógica computacional en árbol (Computational tree logic, CTL), lógica lineal temporal (Linear temporal logic, LTL) y Lógica temporal de intervalos (Interval temporal logic, ITL).

Enlaces externos

• Anthony Galton, Temporal Logic in the Stanford Encyclopedia of Philosophy.

Temporal logic | Tijdslogica | Logika temporalna | 时间逻辑

Lógica