Yì N. Wáng, Thomas Ågotnes. Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese, 190(18):135-162, 2013. [doi]
@article{WangA13-11,
title = {Public announcement logic with distributed knowledge: expressivity, completeness and complexity},
author = {Yì N. Wáng and Thomas Ågotnes},
year = {2013},
doi = {10.1007/s11229-012-0243-3},
url = {http://dx.doi.org/10.1007/s11229-012-0243-3},
researchr = {https://researchr.org/publication/WangA13-11},
cites = {0},
citedby = {0},
journal = {Synthese},
volume = {190},
number = {18},
pages = {135-162},
}