Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

235238

The Ryōan-Ji axiom for common knowledge on hypergraphs

Jeffrey KanePavel Naumov

pp. 3407-3426

Résumé

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.

Détails de la publication

Publié dans:

(2014) Synthese 191 (14).

Pages: 3407-3426

DOI: 10.1007/s11229-014-0455-9

Citation complète:

Kane Jeffrey, Naumov Pavel, 2014, The Ryōan-Ji axiom for common knowledge on hypergraphs. Synthese 191 (14), 3407-3426. https://doi.org/10.1007/s11229-014-0455-9.