Common knowledge (logic)

Statement that players know and also know that other players know (ad infinitum)

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. It can be denoted as C G p {\displaystyle C_{G}p} .

From Wikipedia, under CC BY-SA. More on occurri.