Justified and Common Knowledge: Limited Conservativity
Justified and Common Knowledge: Limited Conservativity
复制标题
合理且常识：有限的保守性
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Evangelia Antonakos
中科院分区：
文献类型：
--
作者：
Evangelia Antonakos
我们考虑了公共知识的三种正式方法的相对优势：McCarthy（1970）的“任何傻瓜”知识，Halpern和Moses（1990）的共同知识，以及Artemov（2004）的正当知识。具体而言，我们表明，知识系统的共同知识的方式照顾保守的合理知识系统的公式？？Cφ？？，在哪里？φ，则？C免费
We consider the relative strengths of three formal approaches to public knowledge: "any fool" knowledge by McCarthy (1970), Common Knowledge by Halpern and Moses (1990), and Justified Knowledge by Artemov (2004). Specifically, we show that epistemic systems with the Common Knowledge modality Care conservative with respect to Justified Knowledge systems on formulas ?? Cφ??, where ?, φ, and ?are C-free.