Atividades do seminário de lógica (26/04/2018)

Discussão das seções 3.1 – 3.3 do capítulo 3 do livro Modal Logics and Philosophy

  • Acessibilidade
  • Regras  modificadas das árvores modais, levando em conta a acessibilidade
  • apresentação das regras para os sistemas K, T, S4 e S5, seguindo a estratégia de Hintikka

No próximo encontro, discutiremos a estratégia ortodoxa, produção de contraexemplos, modalidades finitas e lógicas modais normais não-reflexivas: sistemas K, KB, K4, K5