Common knowledge (logic)
Common knowledge is a special kind of knowledge for a group of agents. It is applied in the following way: 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.