Belief Revision in a Nonclassical Logic

The original theory of belief revision by Alchourron, Gardenfors, and Makinson (AGM theory) is based on classical logic. Properties like consistency and logical consequence play an important role in their postulates which define the different types of belief change. While these notions are suitable under the assumption of an ideal logical reasoner, they are not in the case of a reasoner with limited resources because of computational intractability.