LOGICA TEMPORAL MODAL

1. Ejemplo prctico
Se analizara un ejemplo bsico del uso de la lgica temporal que nos dar las
primeras pautas para entender esta lgica.
Los operadores temporales son los siguientes:
o P: pasado
o F: futuro
Se aplican a oraciones, as que tenemos:
-

p: llueve
o Pp : fue el caso de que llueve, llovi
o Fp: ser el caso de que llueve, llover

Es posible combinar estos operadores para expresar otros tiempos gramaticales

o FPp: habr sido el caso de que llueve, habr llovido
o PPp: haba sido el caso de que llueve, haba llovido
Lo cual se conoce tcnicamente como "modalidades iteradas".
Con la negacin aparecen otros aspectos, por ejemplo:
o -Fp: no ser el caso de que llueve, no llover (nunca)
o F-p: ser el caso de que (en algn momento) no llueve
Hay algunos aspectos interesantes con la teora de la cuantificacin, -F se
comporta respecto a F como el cuantificador existencial respecto al existencial,
pues
o -F-p: p no es nunca falso en F, p es siempre verdadero (en todo
momento de) F
Del cual se sigue
o Fp: p es verdadero (en algn momento) en F

2. Introduccin.Cmo interpreta el tiempo la lgica temporal? La lgica temporal no pretende dar

una respuesta a las preguntas de qu es el tiempo? o cmo es el tiempo? Es
ms, se queda al margen de esas cuestiones. No hay una sola lgica temporal,
sino que hay muchas lgicas temporales, dependiendo de la concepcin del
tiempo que nosotros tengamos o que nos interese utilizar en ese momento. No
ser igual una lgica temporal que presente una visin del tiempo compatible con
la mecnica clsica que otra que lo sea con la cuntica, pero ambas sern igual
de legitimas si cumplen con los requisitos formales habituales.
Los conceptos sobre el tiempo quedan fuera del abasto de la lgica de primer
orden:
Ej: Como indicar una accin en un tiempo determinado.
-

John est corriendo

John correr

Estos predicados en lgica de primer orden quedan reducidos a un sujeto que

ejecuta una accin
-

John correr -> Corre (John).

Sin ningn matiz sobre el tiempo en que se realiza la accin.

La modalidad temporal tiene que ver con la evaluacin de verdad bajo mundos
que estn en otro tiempo. Normalmente se usan varios pares de operadores bajo
esta modalidad, puesto que se tiene que diferenciar entre el pasado y el futuro.
Siempre ha sido el caso que..." y Alguna vez se dio que..." son las
interpretaciones de los operadores en tiempo pasado. Siempre ser el caso
que..." y Alguna vez se dar que..." sern los equivalentes para el tiempo futuro.
Caractersticas
- La principal caracterstica, aunque parezca de cajn, es que incluye
consideraciones sobre el tiempo.

- Se basa en lgica no-montona (no-determinista), dada una determinada

sentencia, su valor de verdad cambia segn las circunstancias. En este caso, las
circunstancias que se tienen en cuenta son nicamente el tiempo. Una sentencia
puede ser verdad en un momento dado y, al instante siguiente, dejar de serlo;
tambin puede suceder a la inversa.
- Un estado es una instantnea del universo y, adems, implica un instante
determinado.
- El tiempo se puede ordenar, por tanto, existe una relacin de orden entre
instantes de tiempo.
3. Marco conceptual.El lenguaje del sistema mnimo de la lgica temporal es el habitual de la lgica
clsica de proposiciones, con sus smbolos y sus reglas de formacin de frmulas
bien formadas. A esto se aade cuatro operadores monarios (G, H, F y P). G y H
se interpretan como, respectivamente, ser siempre en el futuro que y ha sido
siempre en el pasado que, F como ser alguna vez en el futuro que y P fue
alguna vez en el pasado que.
Las reglas de deduccin en todos los sistemas son Modus Ponens y
Generalizacin de L (cuando aparezca) de H y de G: si _, entonces _L, _H y
_G.
Ax0.

Todas

las

tautologas

proposiciones
Ax1. G(AB) (GAGB)
Ax2. H(AB) (HAHB)
Ax3. AHFA
Ax4. AGPA
Ax5. FFAFA (transitividad)
Ax6. PPAPA (transitividad)

de

la

lgica

clsica

de

Ax7. PFA (PAAFA) (linealidad hacia delante)

Ax8. FPA (PAAFA) (linealidad hacia atrs)
Ax9. GAFA (futuro infinito)
Ax10. HAPA (pasado infinito)
Ax11. FAFFA (densidad)
Los axiomas 0, 1, 2, 3 y 4 constituyen un sistema mnimo. Este se denomina Kt y
fue desarrollado por Lemmon en 1965. Aadiendo al sistema mnimo los axiomas
5 y 6 se obtienen modelos transitivos. Si, adems, se le aaden los axiomas 7 y 8
se obtiene un sistema para el tiempo lineal. A cualquiera de estos sistemas
aadindoles los axiomas 9 y 10 se obtiene un sistema de tiempo infinito, y con el
axioma 11 un sistema para el tiempo denso.
Definimos un modelo de la lgica temporal como una estructura (T, <, v), a partir
de un marco (T, <), donde
1) T es un conjunto de momentos del tiempo.
2) < T2 es la relacin de interioridad, o relacin antes / despus, y tiene
las propiedades que correspondan a cada sistema', siendo en todo caso
irreflexiva.
i) Transitividad: t,s,r T((t < s s < r) (t < r))
ii) Linealidad hacia delante: t,s,r T ((s<t s<r) (t<r t=r r<t))
iii) Linealidad hacia atrs: t,s,r T ((t<s r<s) (t<r t=r r<t))
iv) infinitud en el futuro: ts (t<s)
v) infinitud en el pasado: ts (s<t)
vi) densidad: t,sr (t<s (t<r r<s))
3) v es una funcin de evaluacin que asigna el valor verdadero o falso a
cada frmula bien formada (fbf) en un momento (siendo F en conjunto de
fbfs, v: FXT{1,0}. A partir de aqu se pueden obtener los subconjuntos de

momentos V(q) T en los que una frmula atmica es verdadera. La

funcin de evaluacin cumple las siguientes condiciones, para cualesquiera
tT, A,BF y variable proposicional q:
i) v(q,t)=1 o v(q,t)=0
ii) v(A,t)=1 si y slo si v(A,t)=0
iii) v(AB,t)=1 si y slo si v(A,t)=0 o v(B,t)=1
iv) v(FA,t)=1 si y slo si sET (t<s v(A,s)=1)
v) v(PA,t)=1 si y slo si sET (s<t v(A,s)=1)
Bibliografa
-

Algunos aspectos de la lgica temporal en Toms de Mercado Juan

Manuel Campos Bentez-Benemrita Universidad Autnoma de Puebla
Lgica ModalMSc. Martin E. Gutirrez P
BREVE INTRODUCCIN A LA LGICA TEMPORAL Margarita Vzquez
Campos
Lgica Temporal Proposicional Dr. Axel Arturo Barcel Aspeitia
Bases Formales de la ComputacinGerardo M. Sarria M.