TY  - RPRT
TI  - When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
AU  - Yifeng Ding
AU  - Wesley H. Holliday
AU  - Cedegao Zhang
PY  - 2019
DO  - 10.4204/eptcs.297.9
UR  - https://arxiv.org/abs/1907.09101
ID  - 1907.09101
ER  -