by Yì N. Wáng
Reference:
Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity (Yì N. Wáng), In Synthese, volume 190, 2013.
Bibtex Entry:
@article{WA2013pacd,
author = {Y\`{i} N. W\'{a}ng and Thomas {\AA}gotnes},
date-added = {2017-12-27 14:12:47 +0000},
date-modified = {2017-12-27 15:30:44 +0000},
doi = {10.1007/s11229-012-0243-3},
journal = {Synthese},
keywords = {public announcement logic, distributed knowledge, expressivity, completeness, decidability, computational complexity, unravelling, folding, trans-bisimulation},
number = {1 suppl.},
pages = {135-162},
title = {Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity},
volume = {190},
year = {2013},
bdsk-url-1 = {https://dx.doi.org/10.1007/s11229-012-0243-3}}