Lógica proposicional modal: o sistema S4

18 Outubro 2018, 12: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: 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.