抄録
"This paper investigates the class of rational expectations models for a mixed strategy Nash equilibrium of a finite strategic form game G. The purposes are two points: First to introduce a group structure on the class of rational expectations models for a mixed strategy Nash equilibrium of the game as models for the modal logic S4, and secondly to characterize the class RS4(G) of the rational expectations models by the class ES4(G) of all the models with common-knowledge of conjectures about the other players' actions. We prove the following theorem: The class ES4(G) is a non-empty subsemigroup of the semigroup RS4(G).
