Minimal belief and negation as failure (Q1342215)

The logic of minimal belief and negation (MBNF) is a nonmonotonic system using two modal operators \((B\) and not). Its semantics is a rather straightforward generalization of standard approaches to first-order semantics. Although MBNF is a simplified version of Lin and Shoham's logic of knowledge and belief, it turns out to be very expressive and can be used as a common framework for describing the semantics of several nonmonotonic formalisms as (disjunctive) logic programming, default logic and circumscription as well as for the theory of epistemic queries developed by Levesque and Reiter.