Počet záznamů: 1
Erotetic epistemic logic in private communication protocol
- 1.
SYSNO ASEP 0436561 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Erotetic epistemic logic in private communication protocol Tvůrce(i) Švarný, P. (CZ)
Majer, Ondrej (FLU-F) RID, ORCID, SAI
Peliš, Michal (FLU-F) RID, ORCIDZdroj.dok. The logica yearbook 2013. - London : College Publications, 2014 / Dančák M. ; Punčochář V. - ISBN 978-1-84890-144-5 Rozsah stran s. 223-238 Poč.str. 15 s. Forma vydání Tištěná - P Akce Logica 2013 Datum konání 17.06.2013-21.06.2013 Místo konání Hejnice Země CZ - Česká republika Typ akce WRD Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Russian cards problem ; epistemic logic ; erotetic logic ; public announcement Vědní obor RIV AA - Filosofie a náboženství CEP GA13-21076S GA ČR - Grantová agentura ČR Institucionální podpora FLU-F - RVO:67985955 UT WOS 000349722400016 Anotace 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. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2015
Počet záznamů: 1