•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’.