//-->
Infinitary S5-epistemic logic
Heifetz, Aviad, (1995)
A logical critique of mathematical formalism in economics
Dennis, Kenneth G., (1996)
A survey of mathematical logic
Wang, Hao, (1962)