-
What "everybody knows", often with reference to a specific community; something which cannot reasonably be contested.
(noun)
-
A special kind of knowledge for a group of agents, such that when all the agents in a group 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.
(noun)
Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License