Common knowledge is a special kind of knowledge for a group of agents. 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.[1] It can be denoted as {\displaystyle C_{G}p}{\displaystyle C_{G}p}.