Dynamic Epistemic Logic: ESSLLI'08 Course

Hamburg, August 4-8, 2008

Hans van Ditmarsch and Jan van Eijck


Material for the course

Course-outline

Haskell source files

Useful links