Kwang Mong Sim: Epistemic logic and logical omniscience: A survey. Int. J. Intell. Syst. 12(1): 57-81 (1997)