Knowledge and Common Knowledge in a Distributed Environment (1984)

by Joseph Y. Halpern, Yoram Moses
Venue:Journal of the ACM