MATE 3125 Logica Modal

En este curso opcional de pregrado en matemáticas el estudiante obtendrá los fundamentos de la teoría de lógicas modales proposicionales desde la perspectiva de la semántica relacional (modelos de Kripke). Estos fundamentos incluyen técnicas básicas de demostración, teoremas de correspondencia, resultados de decidibilidad y ejemplos de aplicaciones a otras disciplinas. Si el tiempo y los intereses de los estudiantes lo permiten, el curso incluye también una introducción a la lógica proposicional intuicionista, que si bien no es una lógica modal, es cercana a éstas en varios aspectos. La inclusión de este tema permite que el estudiante se familiarice con la noción y uso del álgebra de Lindenbaum asociada a un lenguaje lógico.

Créditos

3

Periodo en el que se ofrece el curso

201710

Idioma en el que se ofrece el curso

Español