Dynamic Epistemic Logic - Ditmarsch, Hans van; Hoek, Wiebe. Van Der; Kooi, Barteld (Netherlands : Springer, 2007)
Keywords: Logic; Epistemics