The Gallery
Common knowledge (logic)
Moshe Y. Vardi
1