Lgica Temporal La lgica temporal es una extensin de la lgica clsica para permitir la formalizacin de enunciados que incluyan precisiones

acerca del momento del tiempo en que han tenido lugar. Nos permite diferenciar si un hecho tiene lugar en el presente, en el pasado o en el futuro. Algunos sistemas lgicos basados en lgica temporal son:

Lgica computacional en rbol (Computational tree logic, CTL) Lgica linear temporal (Linear temporal logic, LTL) Lgica temporal de intervalos (Interval temporal logic, ITL) Lgica de acciones temporal (Temporal Logic of Actions, TLA).

http://wikis.uca.es/wikira/index.php/Logica_Temporal

http://disi.unal.edu.co/~lctorress/iartificial/IA0026l.pdf

https://www.cs.us.es/cursos/ra/temas/tema-NuSMV-2.pdf http://pitagoras.usach.cl/~eflores/lcc/cd_redes/LOGICATEMPORAL.pdf