//-->
Infinitary S5-epistemic logic
Heifetz, Aviad, (1995)
A logical critique of mathematical formalism in economics
Dennis, Kenneth G., (1996)
Foundations of logic and mathematics
Carnap, Rudolf, (1939)