Dynamic Epistemic Logic and Knowledge Puzzles.

Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

Browse the full ICCS paper archive.