Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 325-340, Morgan Kaufmann, 1986.
@inproceedings{Lakemeyer86,
title = {Steps Towards a First-Order Logic of Explicit and Implicit Belief},
author = {Gerhard Lakemeyer},
year = {1986},
tags = {logic},
researchr = {https://researchr.org/publication/Lakemeyer86},
cites = {0},
citedby = {0},
pages = {325-340},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986},
editor = {Joseph Y. Halpern},
publisher = {Morgan Kaufmann},
isbn = {0-934613-04-4},
}