Abstract: In this paper, we relate Lifschitz's logic of minimal belief and negation as failure (MBNF) [12] to Levesque's logic of only knowing [8], Lifschitz showed that MBNF can be used as a general ...