Infinitary s5-epistemic logic - Heifetz, Aviad (1995)