Slides of the course:

• Introduction to Modal Logics. (in Spanish) Syntax and semantics of the Basic Modal Logic. Bisimulations and Expressive Power, Standard Translations. Complexity. Axiomatizations. Other operators.
• Domain updates I. Removing worlds. Public Announcement Logic. Expressivity. Reduction Axioms.
• Domain updates II. Adding worlds. Local and global changes. Single-world addition. Action Models. Axiom system. Complexity.
• Changing Relations I. Removing and adding pairs. Bisimulations. Reduction axioms. Sabotage Logic. Bisimulations. Generalizing sabotage with model update functions.
• Changing Relations II. An introduction to Modal Separation Logics. Complexity. Axiom systems.
• Changing Valuations. Public assignments. Reduction axioms, Expressivity and complexity. Memory Logics. Bisimulations. Undecidability.

Evaluation:

• Exercises.
• Papers to be selected.