Epistemic logics for multi-agent systems by Hans van Ditmarsch

Epistemic logic models knowledge and belief in multi-agent systems. How to model change of knowledge has been investigated since the 1980s. Followi...