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.