Lógica Modal Computacional




surf modal




Docentes

Horarios

Martes de 19 a 22hs en el aula E-24

Clases

  • Clase 1: ¿De qué se trata esta materia? [pdf]
  • Clase 2: Lógicas modales vistas como fragmentos [pdf]
  • Clase 3: Bisimulaciones [pdf]
  • Clase 4: Usos de bisimulaciones: tree model property, selección y filtraciones [pdf]
  • Clase 5: Decidibilidad y complejidad [pdf]
  • Clase 6: Decidibilidad y complejidad de lógicas modales (i) [pdf]
  • Clase 7: Decidibilidad y complejidad de lógicas modales (ii) [pdf]
  • Clase 8: Modelos infinitos e indecidibilidad [pdf]
  • Clase 9: Algoritmos efectivos [pdf]
  • Clase 10: Completitud [pdf]
  • Clase 11: LTL [pdf]
  • Clase 12: Qué estamos haciendo en el DC?[pdf]

Guías de ejercicios

  • Práctica 1: repaso, lenguaje modal y relación de satisfacibilidad [pdf]
  • Práctica 2: traducciones [pdf]
  • Práctica 3: bisimulaciones [pdf]
  • Práctica 4: método de selección y filtraciones [pdf]
  • Práctica 5: sistemas axiomáticos y completitud [pdf]

Examen final

  • La fecha límite de entrega del examen final es el lunes 2 de Agosto. Para que tengan un ejemplo de cómo escribir en LaTex símbolos modales les dejamos acá el código fuente del examen.

Bibliografía

  • Modal Logic Book. Patrick Blackburn, Maarten de Rijke y Yde Venema. Cambridge University Press. 2001
  • First steps in modal logic. Sally Popkorn. Cambridge University Press. 1994