Lógica Temporal

Un sistema formal para expresar proposiciones sobre el orden temporal y las propiedades de estados a lo largo de puntos o intervalos temporales, utilizando operadores temporales como 'G' (globalmente), 'F' (finalmente), 'X' (siguiente) y 'U' (hasta).