TY  - RPRT
TI  - How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
AU  - Malvin Gattinger
AU  - Yanjing Wang
PY  - 2019
DO  - 10.4204/eptcs.297.14
UR  - https://arxiv.org/abs/1907.09105
ID  - 1907.09105
ER  -