The Ryan-ji axiom for common knowledge on hypergraphs

• Autores: Jeffrey Kane, Pavel Naumov
• Localización: Synthese, ISSN-e 1573-0964, Vol. 191, Nº. 14, 2014, págs. 3407-3426
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The article studies common knowledge in communication networks with a fixed topological structure. It introduces a non-trivial principle, called the Ryan-ji axiom, which captures logical properties of common knowledge of all protocols with a given network topology. A logical system, consisting of the Ryan-ji axiom and two additional axioms, is proven to be sound and complete