Reasoning about Common Knowledge with Infinitely Many Agents.

Joseph Y. Halpern, Richard A. Shore

Browse the full LICS paper archive.