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