Publication

Commonly Knowing Whether

Fan, J., Grossi, D., Kooi, B., Su, X. & Verbrugge, R., 14-Jan-2020, (Submitted) arXiv.

Research output: Working paperAcademic

APA

Fan, J., Grossi, D., Kooi, B., Su, X., & Verbrugge, R. (2020). Commonly Knowing Whether. arXiv.

Author

Fan, Jie ; Grossi, Davide ; Kooi, Barteld ; Su, Xingchi ; Verbrugge, Rineke. / Commonly Knowing Whether. arXiv, 2020.

Harvard

Fan, J, Grossi, D, Kooi, B, Su, X & Verbrugge, R 2020 'Commonly Knowing Whether' arXiv.

Standard

Commonly Knowing Whether. / Fan, Jie; Grossi, Davide; Kooi, Barteld; Su, Xingchi; Verbrugge, Rineke.

arXiv, 2020.

Research output: Working paperAcademic

Vancouver

Fan J, Grossi D, Kooi B, Su X, Verbrugge R. Commonly Knowing Whether. arXiv. 2020 Jan 14.


BibTeX

@techreport{52ed691ce8c74f2fab25b23ca4ed6a93,
title = "Commonly Knowing Whether",
abstract = " This paper introduces `commonly knowing whether', a non-standard version of classical common knowledge which is defined on the basis of `knowing whether', instead of classical `knowing that'. After giving five possible definitions of this concept, we explore the logical relations among them both in the multi-agent case and in the single-agent case. We focus on one definition and treat it as a modal operator. It is found that the expressivity of this operator is incomparable with the classical common knowledge operator. Moreover, some special properties of it over binary-tree models and KD45-models are investigated. ",
keywords = "cs.LO",
author = "Jie Fan and Davide Grossi and Barteld Kooi and Xingchi Su and Rineke Verbrugge",
year = "2020",
month = jan,
day = "14",
language = "English",
publisher = "arXiv",
type = "WorkingPaper",
institution = "arXiv",

}

RIS

TY - UNPB

T1 - Commonly Knowing Whether

AU - Fan, Jie

AU - Grossi, Davide

AU - Kooi, Barteld

AU - Su, Xingchi

AU - Verbrugge, Rineke

PY - 2020/1/14

Y1 - 2020/1/14

N2 - This paper introduces `commonly knowing whether', a non-standard version of classical common knowledge which is defined on the basis of `knowing whether', instead of classical `knowing that'. After giving five possible definitions of this concept, we explore the logical relations among them both in the multi-agent case and in the single-agent case. We focus on one definition and treat it as a modal operator. It is found that the expressivity of this operator is incomparable with the classical common knowledge operator. Moreover, some special properties of it over binary-tree models and KD45-models are investigated.

AB - This paper introduces `commonly knowing whether', a non-standard version of classical common knowledge which is defined on the basis of `knowing whether', instead of classical `knowing that'. After giving five possible definitions of this concept, we explore the logical relations among them both in the multi-agent case and in the single-agent case. We focus on one definition and treat it as a modal operator. It is found that the expressivity of this operator is incomparable with the classical common knowledge operator. Moreover, some special properties of it over binary-tree models and KD45-models are investigated.

KW - cs.LO

UR - https://arxiv.org/pdf/2001.03945

UR - https://www.mendeley.com/catalogue/a4f18c79-b2d7-3132-a759-ba977a9277f4/

M3 - Working paper

BT - Commonly Knowing Whether

PB - arXiv

ER -

ID: 112113581