Dynamic Epistemic Logic - van Ditmarsch, Hans a van der Hoek, Wiebe a Kooi, Barteld

Dynamic Epistemic Logic is the logic of knowledge change. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions.