Common knowledge in update logics
Common knowledge in update logics
复制标题
更新逻辑中的常识
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Barteld P. Kooi
中科院分区：
文献类型：
--
作者：
J. Benthem;J. Eijck;Barteld P. Kooi
当前的动态认知逻辑往往变得繁琐和不透明时，共同的知识添加到代理组。尽管如此，关于共同知识的后置条件表达了沟通所实现的本质。我们提出了一些方法，产生所谓的减少公理的常识。我们调查的公共公告逻辑的表达能力与相对化的共同知识，并提出减少公理，给出了一个详细的说明，在一些主要的通信类型的共同知识的动态。
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express the essence of what communication achieves. We present some methods that yield so-called reduction axioms for common knowledge. We investigate the expressive power of public announcement logic with relativized common knowledge, and present reduction axioms that give a detailed account of the dynamics of common knowledge in some major communication types.