  The key feature of Justification Logic systems is their ability to  internalize their own derivations as provable justification  assertions within their languages. This property was anticipated in  (Gödel 1938).