A Hybrid Public Announcement Logic with Distributed Knowledge

• DOI: 10.1016/j.entcs.2011.06.011
• Publication Date: 2011-07-07T21:11:09Z
• Authors: Jens Ulrik Hansen
• Keywords: Completeness (order theory)

In this paper the machinery of Hybrid Logic and logic public announcements are merged. order to bring two logics together properly underlying hybrid has been changed such that nominals only partially denote states. The contains nominals, satisfaction operators, downarrow binder as well global modality. Following this, an axiom system for Public Announcement is presented using reduction axioms general completeness (in usual style Logic) proved. allows easy way adding distributed knowledge. Furthermore, it turns out knowledge definable operators binder.