Natasha Alechina's Publications

Coalition and Group Announcement Logic (2017)

By: Rustam Galimullin, and Natasha Alechina

Download Information

Rustam Galimullin and Natasha Alechina (2017). "Coalition and Group Announcement Logic." Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017 (pp. 207-220). Note that there is a mistake in the completeness proof, corrected in CoRR abs/1810.02769 (2018). pdf    

Bibtex citation

@inproceedings{Galimullin/Alechina:17a,
author = {Rustam Galimullin and Natasha Alechina},
title = {Coalition and Group Announcement Logic},
pages = {207--220},
editor = {J{\'{e}}r{\^{o}}me Lang},
booktitle = {Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, {TARK} 2017, Liverpool, UK, 24-26 July 2017},
series = {{EPTCS}},
volume = {251},
year = {2017},
url = {http://arxiv.org/abs/1707.08250},
note = {Note that there is a mistake in the completeness proof, corrected in CoRR abs/1810.02769 (2018)},
}
full list