Epistemic logic of shallow depths has been developed by Kaneko–Suzuki using classical logic. In this paper, we adopt … intuitionistic logic as the base logic to limit each player’s reasoning to constructive one. The resulting logical system is denoted …

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