This is called Common Knowledge in game theory: Common knowledge is a special kind of knowledge for a group of agents. There is common knowledge of p in a grou

This is called Common Knowledge in game theory: 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. It can be denoted as {\displaystyle C_{G}p}.