Contemporary Philosophy： Dynamic Epistemic Logic and its Applications Additional Information has been updated.