Lógica proposicional modal – os seis sistemas principais.

15 Março 2021, 18:30 • 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.