Realizados em conjunto pelo Programa de Pós-Graduação em Filosofia do IFCH e pelo Grupo de Lógica Teórica e Aplicada (GLTA), os Seminários de Lógica (Seminários de Programa e Colloquia Logicae) ocorrem usualmente às quartas-feiras, desenvolvendo intensa programação sobre o tema.
Translate
2.4.12
04/04 - Pedro Falcão
"Funções modais"
Pedro Falcão, mestrando USP
Resumo: Apresentaremos alguns aspectos da teoria das funções modais, que é o análogo para S5 da teoria das funções de verdade para o cálculo proposicional clássico.
Nenhum comentário:
Postar um comentário