-based game represented in formal logic, automatically generates a computational model in the Primitive Information Processing … active brain areas, cannot be derived on the basis of a strategy logic by itself: the computational cognitive models play a …

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