%0 Conference Paper %1 journals/corr/abs-1907-09105 %A Gattinger, Malvin %A Wang, Yanjing %B TARK %D 2019 %E Moss, Lawrence S. %K dblp %P 206-220 %T How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs297.html#abs-1907-09105 %V 297

@inproceedings{journals/corr/abs-1907-09105, added-at = {2021-10-14T00:00:00.000+0200}, author = {Gattinger, Malvin and Wang, Yanjing}, biburl = {https://www.bibsonomy.org/bibtex/2a203d19e617ed4728f38550cb4646701/dblp}, booktitle = {TARK}, crossref = {journals/corr/abs-1907-08335}, editor = {Moss, Lawrence S.}, ee = {http://arxiv.org/abs/1907.09105}, interhash = {065d702d802ba675b49f2666ac046a91}, intrahash = {a203d19e617ed4728f38550cb4646701}, keywords = {dblp}, pages = {206-220}, series = {EPTCS}, timestamp = {2024-04-10T22:00:29.000+0200}, title = {How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs297.html#abs-1907-09105}, volume = 297, year = 2019 }