Introducción a Lógicas Híbridas





Contenido del Curso

Temario

  • Día 1: Introducción (Patrick)
    Introducción a lógicas modales e híbridas. Definiciones e Intuiciones. Decidibilidad y Filtraciones. Bisimulación y caracterización de van Benthem. Traducción estándar. El operador de downarrow.
  • Día 2: Tableau y juegos (Patrick)
    Tableau y demostración de PSPACE-complete a través de juegos. Reglas de tableau para downarrow. Falla de terminación y extensiones axiomáticas.
  • Día 3: Construyendo modelos (Patrick y Carlos)
    Parte 1: Completitud via el método de Henkin
    Parte 2: Interpolación via el método de Henkin
  • Día 4: Computación y Complejidad (Carlos)
    Indecidibilidad para downarrow. Lógica temporal y EXP-time. Spy points y sink points.
  • Día 5: Teoría de modelos (Patrick)
    Resultados de van Benthem. Frames. ¿Lógica híbrida de primer orden?

Slides del Curso

Bibliografía

  • Modal Logics: a semantic perspective. Patrick Blackburn and Johan van Benthem. Handbook of Modal Logics. Elsevier. 2006. [download]
  • Representation, Reasoning and Relational Structures: a Hybrid Logic Manifesto. Patrick Blackburn. Logic Journal of the IGPL, volume 8(3), 339 -- 365, 2000. [download]
  • Hybrid Logics. Carlos Areces and Balder ten Cate. Handbook of Modal Logics. Elsevier. 2006. [download]
  • [Lectura optativa] First Steps in Modal Logic. Sally Popkorn. Cambridge University Press. 1994. Capítulos:
  • Pure Extensions, Proof Rules and Hybrid Axiomatics. Patrick Blackburn and Balder ten Cate. Studia Logica 1-47, 2006. [download]
  • A road-map on complexity for hybrid logics. Carlos Areces, Patrick Blackburn y Maarten Marx. CSL, 307-321. 1999 [download]
  • Hybrid Logics: Characterization, Interpolation and Complexity. Carlos Areces and Patrick Blackburn y Maarten Marx. Journal of Symbolic Logic, volume 66 (3). 2001.[download]
  • Hybrid Languages. Patrick Blackburn and Jerry Seligman. Journal of Logic, Language and Information (4), 251-272, 1995. [download]