Erotetic epistemic logic in private communication protocol

Number of the records: 1

1.

SYSNO ASEP	0436561
Document Type	C - Proceedings Paper (int. conf.)
R&D Document Type	Conference Paper
Title	Erotetic epistemic logic in private communication protocol
Author(s)	Švarný, P. (CZ) Majer, Ondrej (FLU-F)_{RID, ORCID, SAI} Peliš, Michal (FLU-F)_{RID, ORCID}
Source Title	The logica yearbook 2013. - London : College Publications, 2014 / Dančák M. ; Punčochář V. - ISBN 978-1-84890-144-5
Pages	s. 223-238
Number of pages	15 s.
Publication form	Print - P
Action	Logica 2013
Event date	17.06.2013-21.06.2013
VEvent location	Hejnice
Country	CZ - Czech Republic
Event type	WRD
Language	eng - English
Country	GB - United Kingdom
Keywords	Russian cards problem ; epistemic logic ; erotetic logic ; public announcement
Subject RIV	AA - Philosophy ; Religion
R&D Projects	GA13-21076S GA ČR - Czech Science Foundation (CSF)
Institutional support	FLU-F - RVO:67985955
UT WOS	000349722400016
Annotation	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.
Workplace	Institute of Philosophy
Contact	Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360
Year of Publishing	2015

Number of the records: 1