Work

Commonly Knowing Whether

Year: 2020

Type: preprint

Abstract: This paper introduces the notion of `commonly knowing whether', a non-standard version of standard common knowledge which is defined on the basis of `knowing whether', instead of standard `knowing that'. After giving five possible definitions of this notion, we explore the logical relations among them in the single-agent and multi-agent cases. We propose a sound and complete axiomatization. We investigate one of the five definitions in terms of expressivity via a strategy of modal comparison games.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2001.03945

Authors: Fan, Jie, Grossi, Davide, Kooi, Barteld, Su, Xingchi, Verbrugge, Rineke

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: China Scholarship Council

OpenAlex ID: W3039730681

Cites: 15

Cited by: 2

Related to: 10