Assertion: justification logic | /r/HasProperty | interpretable
Facets:
value: in arithmetic
type: OTHER
Source sentences:
text: Up to this point much of our original motivation applies—we have justification logics that are interpretable in arithmetic.