Assertion: justification logic | /r/HasProperty | epistemic logics
Facets:
Source sentences:
text: Justification logics are epistemic logics which allow knowledge and belief modalities to be ‘unfolded’ into justification terms: instead of \(\Box X\)