Joseph Y. Halpern
Journal of Philosophical Logic
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
Hironori Takeuchi, Tetsuya Nasukawa, et al.
Transactions of the Japanese Society for Artificial Intelligence
Bing Zhang, Mikio Takeuchi, et al.
NAACL 2025
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence