A Logic of Implicit and Explicit Belief