Coalition and coalition announcement logic
Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other’s knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and Coalition Announcement Logic. They allow us to reason about...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2017
|
| Online Access: | https://eprints.nottingham.ac.uk/46288/ |
| _version_ | 1848797295740452864 |
|---|---|
| author | Galimullin, Rustam Alechina, Natasha |
| author_facet | Galimullin, Rustam Alechina, Natasha |
| author_sort | Galimullin, Rustam |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other’s knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and Coalition Announcement Logic. They allow us to reason about what groups of agents can achieve through joint announcements in non-competitive and competitive environments. In this paper, we consider a combination of these logics – Coalition and Group Announcement Logic and provide its complete axiomatisation. Moreover, we partially answer the question of how group and coalition announcement operators interact, and settle some other open problems. |
| first_indexed | 2025-11-14T20:01:37Z |
| format | Conference or Workshop Item |
| id | nottingham-46288 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T20:01:37Z |
| publishDate | 2017 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-462882020-05-04T18:56:48Z https://eprints.nottingham.ac.uk/46288/ Coalition and coalition announcement logic Galimullin, Rustam Alechina, Natasha Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other’s knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and Coalition Announcement Logic. They allow us to reason about what groups of agents can achieve through joint announcements in non-competitive and competitive environments. In this paper, we consider a combination of these logics – Coalition and Group Announcement Logic and provide its complete axiomatisation. Moreover, we partially answer the question of how group and coalition announcement operators interact, and settle some other open problems. 2017-07-24 Conference or Workshop Item PeerReviewed Galimullin, Rustam and Alechina, Natasha (2017) Coalition and coalition announcement logic. In: Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, 24-26 July 2017, Liverpool, United Kingdom. https://doi.org/10.4204/EPTCS.251.15 10.4204/EPTCS.251.15 10.4204/EPTCS.251.15 10.4204/EPTCS.251.15 |
| spellingShingle | Galimullin, Rustam Alechina, Natasha Coalition and coalition announcement logic |
| title | Coalition and coalition announcement logic |
| title_full | Coalition and coalition announcement logic |
| title_fullStr | Coalition and coalition announcement logic |
| title_full_unstemmed | Coalition and coalition announcement logic |
| title_short | Coalition and coalition announcement logic |
| title_sort | coalition and coalition announcement logic |
| url | https://eprints.nottingham.ac.uk/46288/ https://eprints.nottingham.ac.uk/46288/ https://eprints.nottingham.ac.uk/46288/ |