Dynamic epistemic logic
Lecturer(s):Hans van Ditmarsch (Computer Science, University of Otago) and Barteld Kooi (University of Groningen)
Type:Advanced Course
Section:Logic and Computation
Time: 11.00-12.30 (Slot 2)
Room:EM 3.36


Dynamics epistemic logic can be used to model the information agents have
and the way it can change due to actions. Dynamic epistemic logic is
especially suited to model the change of the information the agents have
about each other's information. This logic is interesting for
and due to many applications to computer science, it is also interesting
for computer scientists.

There are many logical theories that deal with information change.
in theories such as belief revision or temporal epistemic logic, the
reasoning about change occurs `from the outside'. Dynamic epistemic
distinguishes itself from these approaches because one can reason about
information change using the logical language of dynamic epistemic
logic. Dynamic modal operators for actions may be interpreted as state
transformers, or as semantic objects (`action frames'). The
`logic of public announcements' focusses on a special, simple, kind
epistemic action and receives special attention.  One may also combine
reasoning about probability and information change in one
framework. Expressive power and proof systems for these logics are also

The course will present an overview of approaches in dynamic epistemic
logic, including: Plaza, Gerbrandy, Baltag, van Ditmarsch, Kooi, van der
Hoek, van Benthem. Part of the course will focus on applications, such as
security protocols.

© ESSLLI 2005 Organising Committee 2004-12-01