Lógica proposicional modal: o sistema S4

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

Avaliação do sistema T: pontos positivos e alegadas fraquezas. As modalidades iteradas e os seus princípios. Questão para avaliação da lógica T: (i) Será que “É possível que p” e “Possivelmente é possível que p” são equivalentes?.

Reforçando a lógica modal T: acessibilidade reflexiva e transitiva. O sistema S4 é uma extensão de T. Exercícios com árvores.