Jianhua Chen The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications. 159-174 1997 7 J. Log. Comput. 2 db/journals/logcom/logcom7.html#Chen97