Nicholas Asher. Reasoning about Belief and Knowledge with Self-Reference and Time. In Moshe Y. Vardi, editor, Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988. pages 61-81, Morgan Kaufmann, 1988.
Abstract is missing.