Jim des Rivières, Hector J. Levesque. The Consistency of Syntactical Treatments of Knowledge. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 115-130, Morgan Kaufmann, 1986.
@inproceedings{RivieresL86,
title = {The Consistency of Syntactical Treatments of Knowledge},
author = {Jim des Rivières and Hector J. Levesque},
year = {1986},
tags = {consistency},
researchr = {https://researchr.org/publication/RivieresL86},
cites = {0},
citedby = {0},
pages = {115-130},
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},
}