Lógicas Modales Dinámicas

Contents of the Course

Clase 1: Introducción a Lógicas Modales y Dinámicas. Sintaxis y Semántica de la Lógica Modal Básica (LMB). Extensiones de LMB. Bisimulaciones y Poder Expresivo. Axiomatizaciones y Propiedades.
Clase 2: Lógica de Anuncios Públicos (LAP). Poder expresivo. Falla de sustitución uniforme. Completitud de LMB.
Clase 3: Sintaxis y semántica del operador de sabotaje. Bisimulaciones y Poder Expresivo. Falla de sustitución uniforme. Variantes del operador.
Clase 4: Lógica Modal Híbrida. Axiomatización para el operador de sabotaje mediante herramientas de lógica híbrida. Temas actuales en Lógicas Modales Dinámicas.

Incluímos una versión de los slides sin pausas, pero esas versiones no se podrá ver las animaciones.

Modal Logics: a semantic perspective. Patrick Blackburn and Johan van Benthem. Handbook of Modal Logics. Elsevier. 2006. [download]
Modal Logic. Patrick Blackburn, Maarten de Rijke and Yde Venema. Cambridge University Press, 2002. Capítulos:
- 1. Basic Concepts. [download]
- 2. Models. [download]
- 4. Completeness. [download]
- 7. Extended Modal Logic. [download]
- Bibliography. [download]
First Steps in Modal Logic. Sally Popkorn. Cambridge University Press. 1994. [download]
Logics of Public Communications. J. Plaza. [download]
An essay on sabotage and obstruction. J. van Benthem. [download]
Relation-changing modal operators.C. Areces, R. Fervari, and G. Hoffmann. [download]
Hybrid Sabotage Modal Logic. J. van Benthem, L. Li, C. Shi and H. Yin. [download]
On axiomatizations of public announcement logic. Y. Wang and Q. Cao. [download]