Lógicas Não-Clássicas
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’.