Assertion: logic's feature | /r/CapableOf | internalize their own derivations
Facets:
Source sentences:
text: The key feature of Justification Logic systems is their ability to internalize their own derivations as provable justification assertions within their languages.