Lógica temporal básica – o sistema Kt.

31 Outubro 2016, 10:00 • Ricardo Santos

Introdução ao estudo da lógica temporal. Verdades eternas e verdades temporárias: a relativização da verdade ao tempo. Os operadores temporais: H (“foi sempre o caso que”), P (“foi alguma vez o caso que”), G (“será sempre o caso que”), F (“será alguma vez o caso que”). Interpretações da linguagem da lógica temporal. Conjuntos de instantes temporais, e a relação de anterioridade. Condições de verdade para os operadores temporais. Regras para o método das árvores aplicado à lógica temporal básica (ou sistema Kt). Exame de algumas tautologias temporais.