Modal Logics for Model Change

Logic and Computation Courses

Advanced Course

Modal Logics for Model Change,
Raul Fervari (The National University of Córdoba, Argentina) and Fernando R. Velázquez-Quesada (University of Amsterdam, The Netherlands)

Dynamic Epistemic Logic (DEL) has become a useful tool for describing changes in different systems and concepts, as shown by its analysis of the effect of different forms of communication (public, private) on the knowledge of a set of agents, or its study of the effect of social influence on an agent’s preferences/opinions. One of DEL‘s key features is that changes are not represented by means of transitions within a system (as done, e.g., in propositional dynamic logic), but rather as operations that change the whole model in which formulas are evaluated. Thus, DEL can be abstractly understood as the study of modal logics for model change. This course provides a technical discussion on different operations that can be performed over DEL’spreferred models, relational ‘Kripke’ models.