Joseph Y. Halpern, David A. McAllester
Computational Intelligence
Paper
Common knowledge revisited
Abstract
We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real world because of temporal imprecision. We discuss two solutions to this paradox: (1) modeling the world with a coarser granularity, and (2) relaxing the requirements for coordination. © 1999 Elsevier Science B.V. All rights reserved.
Related
Conference paper
On the Number of Quantifiers Needed to Define Boolean Functions
Marco Carmosino, Ronald Fagin, et al.
MFCS 2024
J.Lawrence Carter, Ronald Fagin
Theoretical Computer Science
Alexandr Andoni, Ronald Fagin, et al.
SIGMOD 2008