Disciplina Curricular

Lógica Modal LMod

Diploma de Estudos Avançados em Matemática - DEAMat2006

Contextos

Grupo: DEAMat2006 > 3º Ciclo > Lógica e Computação

Período:

Peso

7.5 (para cálculo da média)

Objectivos

Desenvolver a teoria algébrica da lógica modal.

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.

Metodologia de avaliação

Problemas (50%) e exame final (50%).

Disciplinas Execução

2016/2017 - 1ºSemestre

2015/2016 - 1º Semestre

2014/2015 - 1º Semestre

2013/2014 - 1 Semestre

2012/2013 - 1 Semestre

2010/2011 - 1 Semestre

2009/2010 - 1 Semestre

2007/2008 - 1 Semestre

2006/2007 - 1 Semestre