Assertion: justification logic | /r/CapableOf | distinguish justification assertions
Facets:
value: for logically equivalent sentences
type: OTHER
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.