Dynamic Epistemic Logic: ESSLLI'08 Course
Hamburg, August 4-8, 2008
Hans van Ditmarsch and Jan van Eijck
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
Useful links