Assertion: conventional logic | /r/CapableOf | provide implicit knowledge operator
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.