Abstract:

This article concerns the interactive model propositional calculus, using the multi-agent epistemic logic S5. With regard to the space % of maximally consistent sets of formulas, the knowledge of an agent is defined by its knowledge of a set of formulas. Common knowledge can be defined in at least two ways, as the common knowledge of a set of formulas or according to the meet partition generated by the knowledge partitions of the agents. With at least two agents, this meet partition is a much finer partition of % than that generated by the common knowledge of sets of formulas, yet for some points of % the two partition members coincide. Whether the two partition members coincide has radical implications for the structure of the meet partition members.

Website