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

&
Synthese 191 (14):3407-3426 (2014)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s11229-014-0455-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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 in update logics.Jan van Eijck - unknown
Common Knowledge in Update Logics.Johan van Benthem - unknown
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).
What Is Common Knowledge?Zachary Ernst - 2011 - Episteme 8 (3):209-226.
Consensus By Identifying Extremists.Robin D. Hanson - 1998 - Theory and Decision 44 (3):293-301.
Common knowledge and common ground.Jan van Eijck - unknown
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.
Do Conventions Need to Be Common Knowledge?Ken Binmore - 2008 - Topoi 27 (1-2):17-27.
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
2014-07-31

Downloads
24 (#675,673)

6 months
2 (#1,250,897)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Pavel Naumov
University of Southampton

Citations of this work

No citations found.

Add more citations

References found in this work

Convention: A Philosophical Study.David Kellogg Lewis - 1969 - Cambridge, MA, USA: Wiley-Blackwell.
Convention: A Philosophical Study.David Lewis - 1969 - Synthese 26 (1):153-157.
Convention: A Philosophical Study.David K. Lewis - 1971 - Philosophy and Rhetoric 4 (2):137-138.
Logic of secrets in collaboration networks.Sara More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.

View all 7 references / Add more references