An Algebraic Approach To Dynamic Epistemic Logic