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