Generalized Kripke Models for Epistemic Logic

Frans Voorbraak. Generalized Kripke Models for Epistemic Logic. In Yoram Moses, editor, Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992. pages 214-228, Morgan Kaufmann, 1992.

Abstract

Abstract is missing.