Assertion: justification logic | /r/HasProperty | refined
Facets:
value: sufficiently
type: DEGREE
Source sentences:
text: Going further \({\textsf{LP}}\), and Justification Logic in general, is not only sufficiently refined to distinguish justification assertions for logically equivalent sentences, it provides a flexible machinery to connect justifications of equivalent sentences and hence to maintain constructive closure properties necessary for a quality logic system.