•Lógica Temporal
–Características gerais de uma linguagem temporal proposta por Turner:
–Os
operadores temporais propostos são F,
P, G e H, com os
seguintes significados:
–F: algo
será verdadeiro em algum tempo futuro;
–P: algo
foi verdadeiro em algum tempo passado;
–G: algo
será verdadeiro durante todo o futuro;
–H: algo
foi verdadeiro durante todo o passado.
–Para levar em conta a mudança dos
valores verdade ao longo
do tempo, as interpretações e modelos da lógica temporal devem incluir uma estrutura que represente os
instantes de tempo e
sua relação de precedência.
–F A
tem valor verdade V no instante t Î T se e somente se existe t’ Î T tal que t < t’ e A tem valor verdade V em t’.
–G A tem valor verdade V no instante t
Î T se e
somente se para todo t’ Î
T tal que t < t’ e A tem
valor verdade V em t’.