A Hybrid Public Announcement Logic with Distributed Knowledge
A Hybrid Public Announcement Logic with Distributed Knowledge
复制标题
具有分布式知识的混合公告逻辑
DOI：
10.1016/j.entcs.2011.06.011
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Jens Ulrik Hansen
中科院分区：
文献类型：
--
作者：
Jens Ulrik Hansen
本文将混合逻辑机制与公告逻辑相结合。为了将两种逻辑正确地结合在一起，底层的混合逻辑已经被改变，使得标称只部分地表示状态。混合逻辑包含标称、满足运算符、向下绑定以及全局模态。在此基础上，给出了混合公告逻辑的公理体系，并利用约简公理证明了混合公告逻辑的一般完备性。通用完整性允许以一种简单的方式添加分布式知识。进一步证明了分布式知识是可以用满足算子和下向绑定定义的。
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has been changed such that nominals only partially denote states. The hybrid logic contains nominals, satisfaction operators, the downarrow binder as well as the global modality. Following this, an axiom system for the Hybrid Public Announcement Logic is presented and using reduction axioms general completeness (in the usual style of Hybrid Logic) is proved. The general completeness allows for an easy way of adding distributed knowledge. Furthermore, it turns out that distributed knowledge is definable using satisfaction operators and the downarrow binder.