//-->
A survey of mathematical logic
Wang, Hao, (1962)
Infinitary S5-epistemic logic
Heifetz, Aviad, (1995)
Foundations of logic and mathematics
Carnap, Rudolf, (1939)