Communication between agents in dynamic epistemic logic

Re-assign community