@Inproceedings{EPTCS297.14, author = {Gattinger, Malvin and Wang, Yanjing}, year = {2019}, title = {How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions}, editor = {Moss, Lawrence S.}, booktitle = {{\rm Proceedings Seventeenth Conference on} Theoretical Aspects of Rationality and Knowledge, {\rm Toulouse, France, 17-19 July 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {297}, publisher = {Open Publishing Association}, pages = {206-220}, doi = {10.4204/EPTCS.297.14}, }