Studia Logica 75 (1):31-62 (2003)
Suppose we have a stack of cards that is divided over some players. For certain distributions of cards it is possible to communicate your hand of cards to another player by public announcements, without yet another player learning any of your cards. A solution to this problem consists of some sequence of announcements and is called an exchange. It is called a direct exchange if it consists of (the minimum of) two announcements only. The announcements in an exchange have a special form: they are safe communications, an interesting new form of update. Certain unsafe communications turn out to be unsuccessful updates. A communication is a public announcement that is known to be true. Each communication may be about a set of alternative card deals only, and even about a set of alternatives to the communicating player's own hand only. We list the direct exchanges for a deal of seven cards where the two players holding three cards communicate their hands to each other. Our work may be applicable to the design of cryptographic protocols.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
On Axiomatizations of Public Announcement Logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese (S1):1-32.
Group Announcement Logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.
Information Dynamics and Uniform Substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.
The Case of the Hidden Hand.Hans P. van Ditmarsch - 2005 - Journal of Applied Non-Classical Logics 15 (4):437-452.
To Know or Not to Know: Epistemic Approaches to Security Protocol Verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (Supplement-1):51-76.
Similar books and articles
Informed Consent and Surgeons' Performance.Steve Clarke & Justin Oakley - 2004 - Journal of Medicine and Philosophy 29 (1):11 – 35.
Think-Aloud Protocols and the Selection Task: Evidence for Relevance Effects and Rationalisation Processes.Erica Lucas & Linden Ball - 2005 - Thinking and Reasoning 11 (1):35 – 66.
Bayesian Rationality for the Wason Selection Task? A Test of Optimal Data Selection Theory.Klaus Oberauer, Oliver Wilhelm & Ricardo Rosas Diaz - 1999 - Thinking and Reasoning 5 (2):115 – 144.
Added to index2009-01-28
Total downloads24 ( #209,498 of 2,163,984 )
Recent downloads (6 months)5 ( #62,484 of 2,163,984 )
How can I increase my downloads?