Description

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
logicians,
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.
However
in theories such as belief revision or temporal epistemic logic, the
reasoning about change occurs `from the outside'. Dynamic epistemic
logic
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
so-called
`logic of public announcements' focusses on a special, simple, kind
of
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
addressed.

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.