Home The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable
Post
Cancel

The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable

It is known that without synchronization via a global clock one cannot obtain common knowledge by communication. Moreover, it is folklore that without exchanging higher-level information arbitrary higher-level shared knowledge cannot be achieved. Here we make this result precise. We use epistemic logic to formally define “everyone knows that everyone knows that everyone knows all secrets” and then prove that this statement is unsatisfiable.

Joint work with Hans van Ditmarsch.

This post is licensed under CC BY 4.0 by the author.