Wikipedia: Common knowledge (logic)
“There is common knowledge of p in a group of agents G when all the agents in G know p, they all know that they know p, they all know that they all know that they know p, and so on ad infinitum.”
Feb 15
