MATE 3125 Lógica Modal
Las lógicas modales son una herramienta muy útil de modelaje y análisis en disciplinas tan diversas como computación, filosofía y lingüística. Desde el punto de vista matemático, el estudio de éstas lógicas ofrece una gama variada de resultados teóricos interesantes y métodos de demostración. En este curso el estudiante obtendrá los fundamentos básicos para profundizar en el estudio de la teoría de lógicas modales, a partir de la perspectiva de la semántica relacional de estas lógicas en el caso proposicional. Estos fundamentos incluyen técnicas básicas de demostración, varios teoremas de correspondencia, resultados sobre decibilidad y ejemplos de aplicaciones a otras disciplinas.
Página del catálogo en este curso