One Hundred Prisoners and a Light Bulb

by van Ditmarsch, Hans, Kooi, Barteld
Published 2015

Dynamic Epistemic Logic

by van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld
Published 2008