A Hybrid Public Announcement Logic with Distributed Knowledge | Zendy

Jens Ulrik Hansen | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Hybrid Public Announcement Logic with Distributed Knowledge

Author(s) -

Jens Ulrik Hansen

Publication year - 2011

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2011.06.011

Subject(s) - axiom , completeness (order theory) , description logic , computer science , dynamic logic (digital electronics) , intermediate logic , theoretical computer science , mathematics , discrete mathematics , algebra over a field , pure mathematics , engineering , mathematical analysis , geometry , transistor , voltage , electrical engineering

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research