×
1993
A intensional epistemic logic.
[DOI]
Yue Jun Jiang
Stud Logica, 1993
1988
Meta Logic Programming for Epistemic Notions.
Yue Jun Jiang
,
Nader Azarmi
Proceedings of the Meta-Programming in Logic Programming, 1988