//-->
Probability logic for type spaces
Heifetz, Aviad, (2001)
Probability Logic for Type Spaces
Infinitary S5-epistemic logic
Heifetz, Aviad, (1995)