Switch to: References

Add citations

You must login to add citations.
  1. Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.Thomas Ågotnes, Natasha Alechina & Rustam Galimullin - 2022 - Journal of Logic, Language and Information 31 (2):141-166.
    Public announcement logic is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic, allows quantification over announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit (...)
    Download  
     
    Export citation  
     
    Bookmark