Kwang Mong Sim: Epistemic logic and logical omniscience II: A unifying framework. Int. J. Intell. Syst. 15(2): 129-152 (2000)