Synthese 191 (14):3407-3426 (2014)
| 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
|
| Keywords | Common knowledge Hypergraph Axiomatization Completeness |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s11229-014-0455-9 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
Logic of Secrets in Collaboration Networks.Sara More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.
Logic of Secrets in Collaboration Networks.Sara Miner More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.
Fault Tolerance in Belief Formation Networks.Sarah Holbrook & Pavel Naumov - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 267--280.
Citations of this work BETA
No citations found.
Similar books and articles
Varieties of Interpersonal Compatibility of Beliefs.Giacomo Bonanno - 1999 - In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. Amsterdam University Press.
Common Knowledge and Limit Knowledge.Christian W. Bach & Jérémie Cabessa - 2012 - Theory and Decision 73 (3):423-440.
Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity.Yì N. Wáng & Thomas Ågotnes - 2013 - Synthese 190 (S1).
Approximate Common Knowledge and Co-Ordination: Recent Lessons From Game Theory. [REVIEW]Stephen Morris & Hyun Song Shin - 1997 - Journal of Logic, Language and Information 6 (2):171-90.
A Map of Common Knowledge Logics.Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki & Yoshihito Tanaka - 2002 - Studia Logica 71 (1):57-86.
Logic in Our Common Knowledge or Logic in the Light of Common Sense, Common Knowledge, and Common Understanding.William E. Ritter - 1944 - Philosophy of Science 11 (2):59-81.
Analytics
Added to PP index
2014-07-31
Total views
19 ( #537,498 of 2,410,766 )
Recent downloads (6 months)
1 ( #538,938 of 2,410,766 )
2014-07-31
Total views
19 ( #537,498 of 2,410,766 )
Recent downloads (6 months)
1 ( #538,938 of 2,410,766 )
How can I increase my downloads?
Downloads
