//-->
Infinitary S5-epistemic logic
Heifetz, Aviad, (1995)
Common belief in monotonic epistemic logic
A note on consensus without common knowledge