, 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 …

Logic and game theory have had a few decades of contacts by now, with the classical results of epistemic game theory as … interpretation of what is happening here. The combination of logic and game theory provides a fine-grained perspective on information … and interaction dynamics, and we are witnessing the birth of something new which is not just logic, nor just game theory …