Assertion: justification logic | /r/CapableOf | provide explicit justifications
Facets:
Source sentences:
text: Since justification logics provide explicit justifications, while conventional logics of knowledge provide an implicit knowledge operator, it is natural to consider combining the two in a single system.