Assertion: justification | /r/HasProperty | explicit counterpart of modal
Facets:
Source sentences:
text: In a similar way the first justification logic \(\textsf{LP}\) is an explicit counterpart of modal \({\textsf{S4}}\).