Simon, Robert Samuel - 1999
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 … held in common knowledge, there is either only one member or uncountably many members of the meet partition with this …