Ankit Vishnubhotla, Charlotte Loh, et al.
NeurIPS 2023
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
Shyam Marjit, Harshit Singh, et al.
WACV 2025
Hagen Soltau, Lidia Mangu, et al.
ASRU 2011
Annina Riedhauser, Viacheslav Snigirev, et al.
CLEO 2023