TY  - RPRT
TI  - Reasoning About Common Knowledge with Infinitely Many Agents
AU  - Joseph Y. Halpern
AU  - Richard A. Shore
PY  - 1999
UR  - https://arxiv.org/abs/cs/9909014
ID  - cs/9909014
ER  -