О моделях паранепротиворечивой логики с аксиомами Крайзеля–Патнема и Скотта

We combine the technique of canonical formulas for the class of extensions of minimal logic with the technique of Kripke $j$-frames. As a result, we characterize paraconsistent logic $\mathbf{Lskp}$ by finite Kripke frames.