modal

Práctica 1

Práctica 2

Práctica 3

Programa propuesto

• 1. Conceptos básicos

     1. • Estructuras relacionales

        • Lenguajes modales

        • Modelos y marcos

        • Marcos generales

        • Relaciones de consecuencia modales

  2. Modelos

     1. • Resultados de invariancia

        • Bisimulaciones

        • Modelos finitos

        • La traducción standard

        • Saturación modal vía extensiones de ultrafiltros

        • Caracterización y definibilidad

  3. Marcos

     1. • Definibilidad de marcos

        • definibilidad de marcos y lógica de segundo orden

        • Propiedades definibles e indefinibles

        • marcos finitos

        • Correspondencia automática de primer orden

        • Fórmulas de Sahlqvist

  4. Completitud

     1. • Modelos canónicos

        • Aplicaciones

        • Resultados limitativos

  5. Otros tópicos en lógica modal.

Bibliografía

Modal Logic, Patrick Blackburn, Maarten de Rijke e Yde Venema. Cambridge Tracts in Theoretical Computer Science, 53. 2001

Una introducción a la lógica modal. Ramón Jansana. Tecnos, 1990.

Links

Handbook on Modal Logic.

Discusión desde el punto de vista de IA por John McCarthy

Definición en la enciclopedia Stanford de Filosofía.