C.A. Micchelli, W.L. Miranker
Journal of the ACM
Paper
Levesque's axiomatization of only knowing is incomplete
Abstract
We show that the axiomatization given by Levesque for his logic of "only knowing" [2], which he showed to be sound and complete for the unquantified version of the logic and conjectured to be complete for the full logic, is in fact incomplete. © 1995.
Related
Rangachari Anand, Kishan Mehrotra, et al.
IEEE Transactions on Neural Networks
Masami Akamine, Jitendra Ajmera
IEICE Trans Inf Syst
Vicki L Hanson, Edward H Lichtenstein
Cognitive Psychology