Special Topics in Logic: Dynamic Epistemic Logic