Levesque's axiomatization of only knowing is incomplete

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.