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

  1. Lógicas Modales como Fragmentos de Lógicas Clásicas (22-23/7)
  2. Teoría de Modelos I (7/9)
  3. Teoría de Modelos II (1-2/10)
  4. Algoritmos y Complejidad de SAT Modal
  5. Guarded Fragment (30-31/10)

Bibliografía

Más bibliografía