Rimatskii Vitalii Valentinovich

Publications in Math-Net.Ru

1. Decidability of global admissibility of inference rules in logic $S4$
   
   Bulletin of Irkutsk State University. Series Mathematics, 54 (2025),  129–142
2. Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability
   
   Bulletin of Irkutsk State University. Series Mathematics, 51 (2025),  141–150
3. Basis of globally admissible rules for logic $S4$
   
   Bulletin of Irkutsk State University. Series Mathematics, 50 (2024),  152–169
4. Admissible inference rules of temporal intransitive logic with the operator "tomorrow"
   
   J. Sib. Fed. Univ. Math. Phys., 17:3 (2024),  347–354
5. Admissible inference rules of modal WCP-logics
   
   Sibirsk. Mat. Zh., 65:1 (2024),  180–197
6. An explicit basis for $WCP$-globally admissible inference rules
   
   Algebra Logika, 62:2 (2023),  219–246
7. Satisfiability problem in interval FP-logic
   
   Bulletin of Irkutsk State University. Series Mathematics, 44 (2023),  98–107
8. Criterion of global admissibility for logic $\mathrm{IPC}$
   
   J. Sib. Fed. Univ. Math. Phys., 16:5 (2023),  620–627
9. Explicit basis for admissible rules in $K$-saturated tabular logics
   
   Diskr. Mat., 34:1 (2022),  126–140
10. Globally admissible inference rules
    
    Bulletin of Irkutsk State University. Series Mathematics, 42 (2022),  138–160
11. Description of modal logics which enjoy co-cover property
    
    Sib. Èlektron. Mat. Izv., 19:1 (2022),  316–325
12. Admissible inference rules and semantic property of modal logics
    
    Bulletin of Irkutsk State University. Series Mathematics, 37 (2021),  104–117
13. Independent bases for admissible rules of pretabular modal logic and its extensions
    
    Sib. Èlektron. Mat. Izv., 10 (2013),  79–89
14. An axiomatization for the linear logic of knowledge and time $LTK_r$ with intransitive time relation
    
    Sibirsk. Mat. Zh., 54:6 (2013),  1304–1314
15. On construction of an explicit basis for admissible inference rules of modal logics extending $S4.1$
    
    Diskr. Mat., 23:4 (2011),  48–65
16. Table admissible inference rules
    
    Algebra Logika, 48:3 (2009),  400–414
17. An explicit basis for admissible inference rules in table modal logics of width 2
    
    Algebra Logika, 48:1 (2009),  122–148
18. 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
19. Bases of admissible rules for $K$-saturated logics
    
    Algebra Logika, 47:6 (2008),  750–761
20. An Explicit Basis for Admissible Rules of Modal Logics of Finite Width
    
    J. Sib. Fed. Univ. Math. Phys., 1:1 (2008),  83–91
21. Preservation of admissibility of inference rules in the logics similar to $S4.2$
    
    Sibirsk. Mat. Zh., 43:2 (2002),  446–453
22. DescrIbing a basis in semireduced form for inference rules of intuitionistic logic
    
    Algebra Logika, 39:6 (2000),  720–740
23. Finite basability with respect to admissibility of modal logics of width 2
    
    Algebra Logika, 38:4 (1999),  436–455
24. Bases of admissible inference rules in tabular modal logics of depth 2
    
    Algebra Logika, 35:5 (1996),  612–622