Yanjing Wang, Qinxiang Cao. On axiomatizations of public announcement logic. Synthese, 190(18):103-134, 2013. [doi]
@article{WangC13-55,
title = {On axiomatizations of public announcement logic},
author = {Yanjing Wang and Qinxiang Cao},
year = {2013},
doi = {10.1007/s11229-012-0233-5},
url = {http://dx.doi.org/10.1007/s11229-012-0233-5},
researchr = {https://researchr.org/publication/WangC13-55},
cites = {0},
citedby = {0},
journal = {Synthese},
volume = {190},
number = {18},
pages = {103-134},
}