A Hybrid Public Announcement Logic with Distributed Knowledge

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.

[1]  Balder ten Cate,et al.  Hybrid logics , 2007, Handbook of Modal Logic.

[2]  Balder ten Cate,et al.  Pure Extensions, Proof Rules, and Hybrid Axiomatics , 2006, Stud Logica.

[3]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[4]  O. Roy.  Thinking before acting : intentions, logic, rational choice , 2008 .

[5]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[6]  Olivier Roy,et al.  A dynamic-epistemic hybrid logic for intentions and information changes in strategic games , 2009, Synthese.

[7]  Johan van Benthem,et al.  Modal Fixed-Point Logic and Changing Models , 2008, Pillars of Computer Science.

[8]  Jens Ulrik Hansen.  Terminating Tableaux for Dynamic Epistemic Logics , 2010, Electron. Notes Theor. Comput. Sci..

[9]  Patrick Blackburn,et al.  Internalizing labelled deduction , 2000, J. Log. Comput..

[10]  Patrick Blackburn,et al.  Arthur Prior and Hybrid Logic , 2006, Synthese.

[11]  Barteld P. Kooi,et al.  Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.

[12]  Tinko Tinchev,et al.  An Essay in Combinatory Dynamic Logic , 1991, Inf. Comput..

[13]  Patrick Blackburn,et al.  Hybrid Languages and Temporal Logic , 1999, Log. J. IGPL.

[14]  J. Benthem,et al.  Logics of communication and change , 2006 .

[15]  B. D. ten Cate,et al.  Internalizing epistemic actions , 2002 .

[16]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[17]  Olivier Roy,et al.  Preference logic, conditionals and solution concepts in games , 2005 .