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.
@inproceedings{Voorbraak92, title = {Generalized Kripke Models for Epistemic Logic}, author = {Frans Voorbraak}, year = {1992}, tags = {meta-model, logic, Meta-Environment}, researchr = {https://researchr.org/publication/Voorbraak92}, cites = {0}, citedby = {0}, pages = {214-228}, booktitle = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992}, editor = {Yoram Moses}, publisher = {Morgan Kaufmann}, isbn = {1-55860-243-7}, }