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/ |