Kaile Su Abdul Sattar An Extended Interpreted System Model for Epistemic Logics. 554-559 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#SuS08