The Ryōan-Ji axiom for common knowledge on hypergraphs
pp. 3407-3426
Abstract
The article studies common knowledge in communication networks with a fixed topological structure. It introduces a non-trivial principle, called the Ryōan-ji axiom, which captures logical properties of common knowledge of all protocols with a given network topology. A logical system, consisting of the Ryōan-ji axiom and two additional axioms, is proven to be sound and complete.
Publication details
Published in:
(2014) Synthese 191 (14).
Pages: 3407-3426
DOI: 10.1007/s11229-014-0455-9
Full citation:
Kane Jeffrey, Naumov Pavel (2014) „The Ryōan-Ji axiom for common knowledge on hypergraphs“. Synthese 191 (14), 3407–3426.