–
Sala P3.10, Pavilhão de Matemática
Madalena Preto, LMAC, Instituto Superior Técnico
Principais resultados da Lógica Modal: Sintaxe. Consequências semântica e dedutiva. Correção. Frame definability e comparação com lógica de primeira ordem.
Orientador: Jaime Ramos