Yanjing Wang
Peking University
Jan Van Eijck
University of Amsterdam
Epistemic protocols are communication protocols aiming at transfer of knowledge in a controlled way. Typically, the preconditions or goals for protocol actions depend on the knowledge of agents, often in nested form. Informal epistemic protocol descriptions for muddy children, coordinated attack, dining cryptographers, Russian cards, secret key exchange are well known. The contribution of this paper is a formal study of a natural requirement on epistemic protocols, that the contents of the protocol can be assumed to be common knowledge. By formalizing this requirement we can prove that there can be no unbiased deterministic protocol for the Russian cards problem. For purposes of our formal analysis we introduce an epistemic protocol language, and we show that its model checking problem is decidable.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s) 9781605585604
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Opaque Updates.Michael Cohen - 2021 - Journal of Philosophical Logic 50 (3):447-470.
Reasoning with Protocols Under Imperfect Information.Eric Pacuit & Sunil Simon - 2011 - Review of Symbolic Logic 4 (3):412-444.

Add more citations

Similar books and articles

Knowledge Condition Games.Sieuwert van Otterloo, Wiebe Van Der Hoek & Michael Wooldridge - 2006 - Journal of Logic, Language and Information 15 (4):425-452.
A Logic for Extensional Protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.
Common Knowledge and Limit Knowledge.Christian W. Bach & Jérémie Cabessa - 2012 - Theory and Decision 73 (3):423-440.
Merging Frameworks for Interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
First Order Common Knowledge Logics.Frank Wolter - 2000 - Studia Logica 65 (2):249-271.


Added to PP index

Total views
6 ( #1,133,688 of 2,507,572 )

Recent downloads (6 months)
1 ( #416,871 of 2,507,572 )

How can I increase my downloads?


My notes