Yannis Belkhiter, Dhaval Salwala, et al.
NFV-SDN 2025
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
Dzung Phan, Vinicius Lima
INFORMS 2023
Hannah Kim, Celia Cintas, et al.
IJCAI 2023
Michael Hersche, Mustafa Zeqiri, et al.
NeSy 2023