Programa

Lógica Modal

Diploma de Estudos Avançados em Matemática

Programa

Preliminares: álgebra, lógica e dedução. Fundamentos: linguagens modais proposicionais; semântica algébrica; semântica de Kripke; decidibilidade e propriedade do modelo finito; construção de Lindenbaum-Tarski; completude local e global; reticulados de lógicas modais (quase) normais; teoremas de interpolação e de Beth. Álgebra universal e dualidade: variedades; representação de Stone; caracterização algébrica da interpolação. Lógicas polimodais: fusão; fibrilação; resultados de preservação. Lógicas modais quantificadas: semântica de topos; completude local e global.