Lógicas Modales Computacionales
Curso de posgrado. Segundo semestre de 2015.
Departamento de Matemática, FFHA, Universidad Nacional de San Juan
Guillaume Hoffmann guillaumh@gmail.com
Programa y apuntes
- Lógicas Modales como Fragmentos de Lógicas Clásicas (22-23/7)
- Repaso de Lógica de Primer Orden.
- Lógica Modal Básica.
- Sintaxis y Semántica.
- Otros Operadores Modales.
- Apunte #1 de Carlos Areces
- Traducción Standard.
- Transferencia de Resultados: compacidad, Löwenheim-Skolem, decidibilidad.
- Apunte #2 de Carlos Areces
- tareas para visita 2:
- Teoría de Modelos I (7/9)
- Bisimulaciones y Poder expresivo.
- Propiedad de Modelos Arbol.
- Clases Hennessy-Milner.
- Clausura de modelos.
- Apunte #3 de Carlos Areces
- tareas para visita 3:
- Teoría de Modelos II (1-2/10)
- Algoritmos y Complejidad de SAT Modal
- Guarded Fragment (30-31/10)
Bibliografía
Más bibliografía
- “The ultraproduct construction”. Jerome Keisler. In “Ultrafilters Across Mathematics”, ed. by V. Bergelson et. al., Contemporary Mathematics 530 (2010), pp. 163-179, Amer. Math. Soc.
- “Modal Satisfiability via SMT Solving”. Carlos Areces, Pascal Fontaine, and Stephan Merz. Software, Services, and Systems: Festschrift Martin Wirsing. © Springer, LNCS 8950, pp. 30-45 (2015).
- “A Completeness Therorem in Modal Logic”, Saul Kripke, Journal of Symbolic Logic, 24(1), 1959.