Assertion: justification logic | /r/CapableOf | establish completeness
Facets:
Source sentences:
text: The completeness proof for \(\mathsf{J}\) and the other justification logics mentioned above can easily be modified to establish completeness with respect to single world justification models, though of course this was not the original argument.