Hans van Ditmarsch

One Hundred Prisoners and a Light Bulb

Dynamic Epistemic Logic

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

Handbook of Epistemic Logic