Common knowledge revisited
Logic in Computer Science
2007-05-23 v1 Distributed, Parallel, and Cluster Computing
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.
Cite
@article{arxiv.cs/9809003,
title = {Common knowledge revisited},
author = {R. Fagin and J. Y. Halpern and Y. Moses and M. Vardi},
journal= {arXiv preprint arXiv:cs/9809003},
year = {2007}
}
Comments
A previous version appeared in TARK (Theoretical Aspects of Rationality and Knowledge), 1996. This version will appear in Annals of Pure and Applied Logic. The material in this paper is basically taken from Chapter 11 of our book Reasoning About Knowledge (MIT Press, 1995)