Assertion: justification logic | /r/CapableOf | incorporate epistemic assertions
Facets:
Source sentences:
text: Justification Logic is a formal logical framework which incorporates epistemic assertions \(t : F\), standing for ‘\(t\) is a justification for \(F\)’.