Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. Dynamic Epistemic Logic and Knowledge Puzzles. In Uta Priss, Simon Polovina, Richard Hill, editors, Conceptual Structures: Knowledge Architectures for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings. Volume 4604 of Lecture Notes in Computer Science, pages 45-58, Springer, 2007. [doi]
Abstract is missing.