Assertion: logic's logic counterpart | /r/HasProperty | exact justification
Facets:
Source sentences:
text: In such extended form, the Correspondence Theorem shows that major modal logics such as \(\mathsf{K} , \mathsf{T} , \mathsf{K4} , \mathsf{S4} , \mathsf{K45} , \mathsf{S5}\) and some others have exact Justification Logic counterparts.