Belief as Defeasible Knowledge
A logic of implicit and explicit belief