Lógica temporal proposicional básica: o sistema Kt

5 Abril 2021, 18:30 • Ricardo Santos

A lógica temporal proposicional básica: o sistema Kt. A linguagem formal e a semântica de Kt. Condições de verdade para os operadores temporais. Regras para o método das árvores aplicado à lógica temporal básica. Exame de algumas tautologias temporais.