Jeffrey Kane and Pavel Naumov
The article studies common knowledge in communication networks with a fi xed topological structure. It introduces a non-trivial principle, called the Ryoan-ji axiom, which captures logical properties of common knowledge of all protocols with a given network topology. A logical system, consisting of the Ryoan-ji axiom and two additional axioms, is proven to be sound and complete. [pdf]