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

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 …

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

The modeling of awareness and unawareness is a significant topic in the doxastic logic literature, where it is usually … draws upon the modal probabilistic logic that was introduced by Aumann (1999) at the semantic level, and then axiomatized by …-modal and probabilistic-of doxastic logic. …