|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
1. |
Vitaliy V. Rimatsky, Olga V. Ganchukova, “Admissible inference rules of temporal intransitive logic with the operator "tomorrow"”, J. Sib. Fed. Univ. Math. Phys., 17:3 (2024), 347–354 |
2. |
V. V. Rimatskii, “Admissible inference rules of modal WCP-logics”, Sibirsk. Mat. Zh., 65:1 (2024), 180–197 |
|
2023 |
3. |
V. V. Rimatskii, “An explicit basis for $WCP$-globally admissible inference rules”, Algebra Logika, 62:2 (2023), 219–246 |
4. |
Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Bulletin of Irkutsk State University. Series Mathematics, 44 (2023), 98–107 |
5. |
Vitaliy V. Rimatskiy, “Criterion of global admissibility for logic $\mathrm{IPC}$”, J. Sib. Fed. Univ. Math. Phys., 16:5 (2023), 620–627 |
|
2022 |
6. |
V. V. Rimatskii, “Explicit basis for admissible rules in $K$-saturated tabular logics”, Diskr. Mat., 34:1 (2022), 126–140 ; Discrete Math. Appl., 33:2 (2023), 105–115 |
3
|
7. |
V. V. Rimatskiy, “Globally admissible inference rules”, Bulletin of Irkutsk State University. Series Mathematics, 42 (2022), 138–160 |
8. |
V. V. Rimatskiy, “Description of modal logics which enjoy co-cover property”, Sib. Èlektron. Mat. Izv., 19:1 (2022), 316–325 |
|
2021 |
9. |
V. V. Rimatskiy, “Admissible inference rules and semantic property of modal logics”, Bulletin of Irkutsk State University. Series Mathematics, 37 (2021), 104–117 |
1
|
|
2013 |
10. |
V. V. Rimatskii, V. R. Kiyatkin, “Independent bases for admissible rules of pretabular modal logic and its extensions”, Sib. Èlektron. Mat. Izv., 10 (2013), 79–89 |
5
|
11. |
A. N. Luk'yanchuk, V. V. Rimatskiĭ, “An axiomatization for the linear logic of knowledge and time $LTK_r$ with intransitive time relation”, Sibirsk. Mat. Zh., 54:6 (2013), 1304–1314 ; Siberian Math. J., 54:6 (2013), 1037–1045 |
3
|
|
2011 |
12. |
V. V. Rimatskii, “On construction of an explicit basis for admissible inference rules of modal logics extending $S4.1$”, Diskr. Mat., 23:4 (2011), 48–65 ; Discrete Math. Appl., 21:5-6 (2011), 741–760 |
|
2009 |
13. |
V. V. Rimatskii, “Table admissible inference rules”, Algebra Logika, 48:3 (2009), 400–414 ; Algebra and Logic, 48:3 (2009), 228–236 |
2
|
14. |
V. V. Rimatskii, “An explicit basis for admissible inference rules in table modal logics of width 2”, Algebra Logika, 48:1 (2009), 122–148 ; Algebra and Logic, 48:1 (2009), 72–86 |
15. |
V. V. Rimatskii, “An explicit basis for the admissible inference rules of the modal logics extending $S4.1$ and $Grz$”, Sibirsk. Mat. Zh., 50:4 (2009), 872–882 ; Siberian Math. J., 50:4 (2009), 692–699 |
|
2008 |
16. |
V. V. Rimatskii, “Bases of admissible rules for $K$-saturated logics”, Algebra Logika, 47:6 (2008), 750–761 ; Algebra and Logic, 47:6 (2008), 420–425 |
4
|
17. |
Vitaly V. Rimatsky, “An Explicit Basis for Admissible Rules of Modal Logics of Finite Width”, J. Sib. Fed. Univ. Math. Phys., 1:1 (2008), 83–91 |
4
|
|
2002 |
18. |
V. V. Rybakov, V. V. Rimatskii, “Preservation of admissibility of inference rules in the logics similar to $S4.2$”, Sibirsk. Mat. Zh., 43:2 (2002), 446–453 ; Siberian Math. J., 43:2 (2002), 357–362 |
2
|
|
2000 |
19. |
V. V. Rybakov, M. Terziler, V. V. Rimatskii, “DescrIbing a basis in semireduced form for inference rules of intuitionistic logic”, Algebra Logika, 39:6 (2000), 720–740 ; Algebra and Logic, 39:6 (2000), 412–422 |
|
1999 |
20. |
V. V. Rimatskii, “Finite basability with respect to admissibility of modal
logics of width 2”, Algebra Logika, 38:4 (1999), 436–455 |
12
|
|
1996 |
21. |
V. V. Rimatskii, “Bases of admissible inference rules in tabular modal logics of
depth 2”, Algebra Logika, 35:5 (1996), 612–622 |
7
|
|
Organisations |
|
|
|
|