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