Ljubljana, Slovenia

Quantification in Dynamic Epistemic Logic

when 31 July 2023 - 11 August 2023
language English
duration 2 weeks
fee EUR 490

Dynamic epistemic logics (DELs) allow one to reason about how knowledge of agents evolves as a result of various information-changing events. Some of the notable examples of DELs include public announcement logic, arrow update logic, and action model logic. Adding quantification over epistemic events in those DELs shifts the perspective from the effects of a particular event to the question of (non-)existence of an event leading to some epistemic outcome. For example, we may want to verify that there is a communication between Alice and Bob such that they both learn some secret, while eavesdropper Eve remains unaware of the secret. In the course, we will present some of the more well-known DELs with quantification and provide highlights of the proofs behind significant technical results. Moreover, we will also discuss some of the tantalising open question spanning the landscape of logics with quantification over information change.

Course leader

Rustam Galimullin and Louwe B. Kuijer

Target group


Fee info

EUR 490: Early student registration
EUR 690: Early non-academic registration


There are several scholarship options which you can read about on our website.