Logic of Implicit and Explicit Justifiers