  We present a justification logic corresponding to the modal logic of
transitive closure $\mathsf{K}^+$ and establish a normal realization theorem
relating these two systems. The result is obtained by means of a sequent
calculus allowing non-well-founded proofs.
