共同知道是否
Commonly Knowing Whether
摘要：
本文介绍了“共同知道是否”的概念，它是在“知道是否”的基础上定义的标准共同知识的非标准版本，而不是标准的“知道那”。在给出这一概念的五种可能的定义之后，我们探讨了它们在单智能体和多智能体情况下的逻辑关系。我们提出了一个健全和完整的公理化。我们调查的五个定义中的一个通过策略的模态比较游戏的表现力。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
