Skip to main content

Research Repository

See what's under the surface

Advanced Search

Coalition and coalition announcement logic

Galimullin, Rustam; Alechina, Natasha

Authors

Rustam Galimullin

Natasha Alechina



Abstract

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.

Publication Date Jul 24, 2017
Journal Electronic Proceedings in Theoretical Computer Science
Electronic ISSN 2075-2180
Peer Reviewed Peer Reviewed
Volume 251
APA6 Citation Galimullin, R., & Alechina, N. (2017). Coalition and coalition announcement logic. doi:10.4204/EPTCS.251.15
DOI https://doi.org/10.4204/EPTCS.251.15
Publisher URL https://doi.org/10.4204/EPTCS.251.15
Copyright Statement Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by/4.0
Additional Information Published in: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017, pp. 207-220. doi:10.4204/EPTCS.251.15

Files

Galimullin+Alechina-17a.pdf (250 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by/4.0





You might also like



Downloadable Citations

;