Paper on neighborhood updates in Dynamic Epistemic Logic