Public Announcement Logic with Distributed Knowledge (bibtex)

by Yì N. Wáng

Reference:

Public Announcement Logic with Distributed Knowledge (Yì N. Wáng), In Proceedings of the Third International Workshop on Logic, Rationality, and Interaction (LORI-III) (Hans van Ditmarsch, Jérôme Lang, Shier Ju, ed.), volume 6953, 2011.

Bibtex Entry:

@inproceedings{WA2011pacd,
	author = {Y\`{i} N. W\'{a}ng and Thomas {\AA}gotnes},
	booktitle = {Proceedings of the Third International Workshop on Logic, Rationality, and Interaction (LORI-III)},
	date-modified = {2017-12-27 15:31:51 +0000},
	doi = {10.1007/978-3-642-24130-7_24},
	editor = {Hans van Ditmarsch, J{\'e}r{\^o}me Lang, Shier Ju},
	keywords = {public announcement logic, distributed knowledge, expressivity, completeness},
	pages = {328-341},
	series = {Lecture Notes in Computer Science},
	title = {Public Announcement Logic with Distributed Knowledge},
	volume = {6953},
	year = {2011},
	bdsk-url-1 = {https://dx.doi.org/10.1007/978-3-642-24130-7_24}}