We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Commonly Knowing Whether

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.
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:2001.03945 [cs.LO]
  (or arXiv:2001.03945v3 [cs.LO] for this version)

Submission history

From: Xingchi Su [view email]
[v1] Sun, 12 Jan 2020 15:22:37 GMT (18kb)
[v2] Fri, 3 Jul 2020 10:54:56 GMT (27kb)
[v3] Sat, 30 Jan 2021 12:31:09 GMT (26kb)

Link back to: arXiv, form interface, contact.