Levesque's axiomatization of only knowing is incomplete
scientific article; zbMATH DE number 1863776