Publication

Commonly Knowingly Whether

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

Research output: Working paperAcademic

Copy link to clipboard

Documents

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.
Original languageEnglish
PublisherarXiv
Publication statusSubmitted - 14-Jan-2020

    Keywords

  • cs.LO

Download statistics

No data available

ID: 112113581