Communication between agents in dynamic epistemic logic

Open in new window