  This correspondence holds for other pairs of Justification and  Epistemic systems, for instance  \(\mathsf{J4}\) and  \(\mathsf{K4}\), or  \(\mathsf{LP}\) and  \(\mathsf{S4}\),  and many others. 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.