Erotetic epistemic logic in private communication protocol

0436561 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Švarný, P. - Majer, Ondrej - Peliš, Michal
Erotetic epistemic logic in private communication protocol.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 223-238. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: Russian cards problem * epistemic logic * erotetic logic * public announcement
Kód oboru RIV: AA - Filosofie a náboženství

The Russian Cards Problem is a toy model of safe communication via an open channel. It has been widely discussed in the literature, some of the recent approaches employ the apparatus of dynamic epistemic logic and represent communication of players by public announcements. In this article we propose a solution which adds questions to players communication toolkit. We compare it to the solutions using public announcements and provide some complexity bounds.
Trvalý link: http://hdl.handle.net/11104/0240265