Lógica proposicional modal – os seis sistemas principais.

16 Março 2020, 16:00 • Ricardo Santos

Revisão dos seis sistemas principais de lógica proposicional modal – K, D, T, B, S4, S5 – e das suas relações. O que S5 tem de especial: acessibilidade total e redução modal. O método das árvores. Validades e invalidades de cada um dos sistemas. Resolução de exercícios.

[Por causa da epidemia de covid-19, esta aula foi substituída por uma gravação enviada aos estudantes.]