Assertion: justification logic | /r/HasProperty | sublogics of \({\textsf{lp}}\
Facets:
Source sentences:
text: We have discussed justification logics that are sublogics of \({\textsf{LP}}\), corresponding to sublogics of the modal logic \(\textsf{S4}\).