Knowledge and common knowledge in a distributed environment

Joseph Y. Halpern, Yoram Moses

Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design o…