A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge
Wiebe van der Hoek, J-J.Ch. Meyer · 1996
We give one overall system for describing the knowledge in a group of m agents, in which distributed knowledge, everybody's knowledge and common knowledge can be dealt with at the same time. The canonical model for this complete epistemic logic for m agents appears to lack two desirable properties. We combine several validity-preserving techniques to transfer the satisfiability of an epistemic formula between classes of models; thus eventually proving completeness for the logic under consideration with respect to the class of models containing all the desired properties.