Se supone familiaridad y manejo de los conceptos y métodos formales adquiridos en la asignatura troncal Lógica, así como cierta predisposición para el razonamiento abstracto. Haber superado con holgura y sin especial dificultad la asignatura troncal es un buen indicador. Por lo demás, el curso es autocontenido.
Este curso cubre una introducción a la lógica modal, epistémica y temporal. Desde un punto de vista técnico, se trabajará con lenguajes modales proposicionales, semántica de Kripke, transformadores de modelos, y sistemas de deducción natural.
Este curso cubre una introducción a la lógica modal, epistémica y temporal. Desde un punto de vista técnico, se trabajará con lenguajes modales proposicionales, semántica de Kripke, transformadores de modelos, y sistemas de deducción natural.
- Profesor: Burrieza Muñiz Alfredo
- Profesor: Fernández Fernández Claudia