Meta Logic Programming for Epistemic Notions. - Yue Jun Jiang; Nader Azarmi (META, 1988)

A intensional epistemic logic. - Yue Jun Jiang (Stud Logica, 1993)