Levesque's axiomatization of only knowing is incompleteJoseph Y. HalpernGerhard Lakemeyer1995Artificial Intelligence