论文标题
通常知道是否
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.
