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
David W. Jacobs, Daphna Weinshall, et al.
IEEE Transactions on Pattern Analysis and Machine Intelligence
Hong-linh Truong, Maja Vukovic, et al.
ICDH 2024
Fearghal O'Donncha, Albert Akhriev, et al.
Big Data 2021