Subset Space Public Announcement Logic (bibtex)

by Yì N. Wáng

Reference:

Subset Space Public Announcement Logic (Yì N. Wáng), In Proceedings of ICLA (Kamal Lodaya, ed.), Springer, volume 7750, 2013.

Bibtex Entry:

@inproceedings{WA2013sspal,
	author = {Y\`{i} N. W\'{a}ng and Thomas {\AA}gotnes},
	booktitle = {Proceedings of ICLA},
	date-added = {2017-12-27 14:12:47 +0000},
	date-modified = {2017-12-27 15:28:51 +0000},
	doi = {10.1007/978-3-642-36039-8_22},
	editor = {Kamal Lodaya},
	keywords = {subset space logic, epistemic logic, public announcement logic, expressivity, arbitrary announcements, topology},
	pages = {245-257},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Subset Space Public Announcement Logic},
	volume = {7750},
	year = {2013},
	bdsk-url-1 = {https://dx.doi.org/10.1007/978-3-642-36039-8_22}}