** Material for the course**

- ESSLLI'08 Course Slides (Hans van Ditmarsch): REVISED VERSION here.
- Playing Cards with Hintikka (Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi) here.
- Logics of Communication and Change (Johan van Benthem, Jan van Eijck, Barteld Kooi) here.
- Propositional Dynamic Logic as a Logic of Belief Revision (Jan van Eijck and Yanjing Wang) here.
- DEMO -- A Demo of Epistemic Modelling (Jan van Eijck) here.
- All course material in a single PDF file: here.
- Textbook Dynamic Epistemic
Logic

The textbook will be available to (all) ESSLLI participants at a discounted price of 23,95 euros. Orders are taken at the summer school. - Material on the 100 prisoners puzzle: here.

** Course-outline**

- Monday: Overview of Epistemic Logic (Hans), Haskell for Knowledge Representation (Jan).
- Tuesday: Public Announcement Logic (Hans), Representing Public Announcement Updates (Jan).
- Wednesday: Action Models (Hans), Representing Action Model Updates (Jan).
- Thursday: Adding Factual Change
- Friday: Puzzles and Crosslinks to Other Areas

** Haskell source files**

- Monday: Slides Haskell For Knowledge Representation with Haskell code HFKR.hs.
- Solution to Monday's homework: HFKRhomework.hs.
- Tuesday: Slides Representing Public Announcement Updates. with (partial) Haskell code RP.hs.
- Solution to Tuesday's homework: see full Haskell code of Tuesday slides: RPAU.hs.
- Wednesday: Slides Representing Action Model Updates. Haskell code RAMU.hs and AM.hs.
- File for Wednesday's homework: AMhomework_frame.hs. Full solution will appear here on Thursday.
- Solution to Wednesday's homework: AMhomework.hs.
- Thursday: Slides Intro to Epistemic Model Checking. Haskell code IEMC.hs.
- Solution to Thursday's homework (don't look at this if you are still figuring this out for yourself): Muddy.hs.

** Useful links**