Assertion: justification logic | /r/CapableOf | attempt to characterize this relation
Facets:
value: axiomatically
type: MANNER
Source sentences:
text: Justification Logic does not directly analyze what it means for \(t\) to justify \(F\) beyond the format \(t : F\), but rather attempts to characterize this relation axiomatically.