syntactic proofs of some well-known theorems in the area of interactive epistemology that specify some sufficient epistemic …, we present a variant of the logic extended with dynamic operators of Dynamic Epistemic Logic (DEL). We show that it … orderings over strategy profiles), and show that every assumption is expressed by a corresponding logical axiom of our logic …