Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:journals/corr/abs-1907-09105
AU - Gattinger, Malvin
AU - Wang, Yanjing
TI - How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.
BT - Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019.
SP - 206
EP - 220
PY - 2019//
DO - 10.4204/EPTCS.297.14
UR - https://doi.org/10.4204/EPTCS.297.14
UR - http://arxiv.org/abs/1907.09105
ER -