Simon, Robert Samuel - In: International Journal of Game Theory 28 (1999) 3, pp. 367-384
Common knowledge can be defined in at least two ways: syntactically as the common knowledge of a set of formulas or semantically, as the meet of the knowledge partitions of the agents. In the multi-agent S5 logic with either finitely or countably many agents and primitive propositions, the...