Assertion: justification logic | /r/HasProperty | formal logical framework
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\)’.