Rimatskiy, V. V. Admissible inference rules of modal WCP-logics. (English. Russian original) Zbl 07804699 Sib. Math. J. 65, No. 1, 153-166 (2024); translation from Sib. Mat. Zh. 65, No. 1, 180-197 (2024). MSC: 03Bxx 03Fxx 03-XX PDFBibTeX XMLCite \textit{V. V. Rimatskiy}, Sib. Math. J. 65, No. 1, 153--166 (2024; Zbl 07804699); translation from Sib. Mat. Zh. 65, No. 1, 180--197 (2024) Full Text: DOI
Rimatskii, V. V. An explicit basis for WCP-globally admissible inference rules. (English. Russian original) Zbl 07809056 Algebra Logic 62, No. 2, 148-165 (2023); translation from Algebra Logika 62, No. 2, 219-246 (2023). MSC: 03-XX 20-XX PDFBibTeX XMLCite \textit{V. V. Rimatskii}, Algebra Logic 62, No. 2, 148--165 (2023; Zbl 07809056); translation from Algebra Logika 62, No. 2, 219--246 (2023) Full Text: DOI
Rimatskiĭ, V. V.; Kiyatkin, V. R. Independent bases for admissible rules of pretabular modal logic and its extensions. (Russian. English summary) Zbl 1330.03046 Sib. Èlektron. Mat. Izv. 10, 79-89 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rimatskiĭ} and \textit{V. R. Kiyatkin}, Sib. Èlektron. Mat. Izv. 10, 79--89 (2013; Zbl 1330.03046) Full Text: DOI
Rimatskiĭ, V. V. An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz. (Russian, English) Zbl 1224.03003 Sib. Mat. Zh. 50, No. 4, 872-882 (2009); translation in Sib. Math. J. 50, No. 4, 692-699 (2009). MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rimatskiĭ}, Sib. Mat. Zh. 50, No. 4, 872--882 (2009; Zbl 1224.03003); translation in Sib. Math. J. 50, No. 4, 692--699 (2009) Full Text: EuDML EMIS