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

25 Março 2020, 16:00 • 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.

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]