The Ryōan-ji axiom for common knowledge on hypergraphs
The Ryōan-ji axiom for common knowledge on hypergraphs
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.
Axiomatization, Common knowledge, Completeness, Hypergraph
3407-3426
Kane, Jeffrey
f47ba757-af59-48e8-bdca-50648a0ed10b
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
1 September 2014
Kane, Jeffrey
f47ba757-af59-48e8-bdca-50648a0ed10b
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Kane, Jeffrey and Naumov, Pavel
(2014)
The Ryōan-ji axiom for common knowledge on hypergraphs.
Synthese, 191 (14), .
(doi:10.1007/s11229-014-0455-9).
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.
This record has no associated files available for download.
More information
Accepted/In Press date: 2 April 2014
Published date: 1 September 2014
Keywords:
Axiomatization, Common knowledge, Completeness, Hypergraph
Identifiers
Local EPrints ID: 475891
URI: http://eprints.soton.ac.uk/id/eprint/475891
ISSN: 0039-7857
PURE UUID: 89366dee-62e6-4d7a-9316-f8d44dd5bedf
Catalogue record
Date deposited: 30 Mar 2023 16:30
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Jeffrey Kane
Author:
Pavel Naumov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics