Characterizing Updates in Dynamic Epistemic Logic

Open in new window