Lógicas Não-Clássicas
Lógica Temporal
- A lógica dos predicados não é hábil no tratamento de declarações envolvendo tempo.
- Os tempos dos verbos podem gerar conclusões errôneas na lógica clássico.
poderá significar tanto que Joaquim irá fechar a janela como que Joaquim já fechou a janela.
- A Lógica Temporal é uma extensão da lógica clássica onde conectivos descrevendo relações temporais são incluídas, tirando o caráter monotônico.