Dynamic Epistemic Logic - Ditmarsch, Hans van.; Hoek, Wiebe van der.; Kooi, Barteld; SpringerLink (Online service) (Dordrecht : Springer Science+Business Media B.V., 2007)
Keywords: Logic; Epistemics