Coalition announcements
Coalition announcement logic is one of the family of logics of quantified announcements. It extends public announcement logic with formulas $\langle \! [ G ] \! \rangle \varphi$ that are read as `there is a truthful public announcement by agents from $G$ such that whatever agents from $A \setminus G...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/56641/ |
| _version_ | 1848799358904958976 |
|---|---|
| author | Galimullin, Rustam |
| author_facet | Galimullin, Rustam |
| author_sort | Galimullin, Rustam |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | Coalition announcement logic is one of the family of logics of quantified announcements. It extends public announcement logic with formulas $\langle \! [ G ] \! \rangle \varphi$ that are read as `there is a truthful public announcement by agents from $G$ such that whatever agents from $A \setminus G$ announce at the same time, $\varphi$ holds after the joint announcement.' The logic has enjoyed comparatively less attention than its siblings --- arbitrary and group announcement logics. The reason for such a situation can be partially attributed to the inherent alternation of quantification in coalition announcements. To deal with the problem, we consider relativised group announcements that separate the coalition's announcement from the anti-coalition's response. We present coalition and relativised group announcement logic and show its completeness. Apart from that, we prove that the complexity of the model-checking problem for coalition announcement logic is PSPACE-complete in the general case, and in P in a special case of positive target formulas. We also study relative expressivity of logics of quantified announcements. In particular we show that arbitrary and coalition announcement logics are not at least as expressive as group announcement logic. Finally, we present a counter-example to the proposed definition of coalition announcements in terms of group announcements, and consider some other interesting properties. |
| first_indexed | 2025-11-14T20:34:24Z |
| format | Thesis (University of Nottingham only) |
| id | nottingham-56641 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T20:34:24Z |
| publishDate | 2019 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-566412025-02-28T12:12:34Z https://eprints.nottingham.ac.uk/56641/ Coalition announcements Galimullin, Rustam Coalition announcement logic is one of the family of logics of quantified announcements. It extends public announcement logic with formulas $\langle \! [ G ] \! \rangle \varphi$ that are read as `there is a truthful public announcement by agents from $G$ such that whatever agents from $A \setminus G$ announce at the same time, $\varphi$ holds after the joint announcement.' The logic has enjoyed comparatively less attention than its siblings --- arbitrary and group announcement logics. The reason for such a situation can be partially attributed to the inherent alternation of quantification in coalition announcements. To deal with the problem, we consider relativised group announcements that separate the coalition's announcement from the anti-coalition's response. We present coalition and relativised group announcement logic and show its completeness. Apart from that, we prove that the complexity of the model-checking problem for coalition announcement logic is PSPACE-complete in the general case, and in P in a special case of positive target formulas. We also study relative expressivity of logics of quantified announcements. In particular we show that arbitrary and coalition announcement logics are not at least as expressive as group announcement logic. Finally, we present a counter-example to the proposed definition of coalition announcements in terms of group announcements, and consider some other interesting properties. 2019-07-24 Thesis (University of Nottingham only) NonPeerReviewed application/pdf en arr https://eprints.nottingham.ac.uk/56641/1/main.pdf Galimullin, Rustam (2019) Coalition announcements. PhD thesis, University of Nottingham. logic Symbolic and mathematical computer logic computer science |
| spellingShingle | logic Symbolic and mathematical computer logic computer science Galimullin, Rustam Coalition announcements |
| title | Coalition announcements |
| title_full | Coalition announcements |
| title_fullStr | Coalition announcements |
| title_full_unstemmed | Coalition announcements |
| title_short | Coalition announcements |
| title_sort | coalition announcements |
| topic | logic Symbolic and mathematical computer logic computer science |
| url | https://eprints.nottingham.ac.uk/56641/ |