Rustam Galimullin
Coalition and group announcement logic
Galimullin, Rustam; Alechina, Natasha
Authors
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.
Citation
Galimullin, R., & Alechina, N. (2017, July). Coalition and group announcement logic. Presented at Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK
Conference Name | Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017 |
---|---|
Start Date | Jul 24, 2017 |
End Date | Jul 26, 2017 |
Acceptance Date | May 24, 2017 |
Publication Date | Jul 24, 2017 |
Deposit Date | Sep 14, 2017 |
Publicly Available Date | Sep 14, 2017 |
Journal | Electronic Proceedings in Theoretical Computer Science |
Electronic ISSN | 2075-2180 |
Peer Reviewed | Peer Reviewed |
Volume | 251 |
Pages | 207-220 |
Book Title | Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge |
DOI | https://doi.org/10.4204/EPTCS.251.15 |
Public URL | https://nottingham-repository.worktribe.com/output/873983 |
Publisher URL | https://doi.org/10.4204/EPTCS.251.15 |
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 |
Contract Date | Sep 14, 2017 |
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
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search