common knowledge
in a mathematical game, a statement that players know and also know that other players know (ad infinitum)
common ground
set of propositions that the interlocutors have agreed to treat as true in conversation
in a mathematical game, a statement that players know and also know that other players know (ad infinitum)