1993
A intensional epistemic logic.
Stud Logica, 1993

1988
Meta Logic Programming for Epistemic Notions.
Proceedings of the Meta-Programming in Logic Programming, 1988