Assertion: justification logic | /r/HasProperty | artemov and fitting 2019
Facets:
Source sentences:
text: However, some meaningful justification logics like \({\mathsf{J}}^{-}\) (Artemov and Fitting 2019) do not use the operation sum.