Римацкий Виталий Валентинович

Публикации в базе данных Math-Net.Ru

1. Разрешимость глобальной допустимости правил вывода в логике $S4$
   
   Известия Иркутского государственного университета. Серия Математика, 54 (2025),  129–142
2. Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability
   
   Известия Иркутского государственного университета. Серия Математика, 51 (2025),  141–150
3. Базис глобально допустимых правил логики $S4$
   
   Известия Иркутского государственного университета. Серия Математика, 50 (2024),  152–169
4. Admissible inference rules of temporal intransitive logic with the operator "tomorrow"
   
   Журн. СФУ. Сер. Матем. и физ., 17:3 (2024),  347–354
5. Допустимые правила вывода модальных WCP-логик
   
   Сиб. матем. журн., 65:1 (2024),  180–197
6. Явный базис $WCP$-глобально допустимых правил вывода
   
   Алгебра и логика, 62:2 (2023),  219–246
7. Satisfiability problem in interval FP-logic
   
   Известия Иркутского государственного университета. Серия Математика, 44 (2023),  98–107
8. Criterion of global admissibility for logic $\mathrm{IPC}$
   
   Журн. СФУ. Сер. Матем. и физ., 16:5 (2023),  620–627
9. Явный базис для допустимых правил $K$-насыщенных табличных логик
   
   Дискрет. матем., 34:1 (2022),  126–140
10. Глобально допустимые правила вывода
    
    Известия Иркутского государственного университета. Серия Математика, 42 (2022),  138–160
11. Description of modal logics which enjoy co-cover property
    
    Сиб. электрон. матем. изв., 19:1 (2022),  316–325
12. Допустимые правила вывода и семантические свойства модальных логик
    
    Известия Иркутского государственного университета. Серия Математика, 37 (2021),  104–117
13. Независимый базис допустимых правил вывода предтабличных логик и их расширений
    
    Сиб. электрон. матем. изв., 10 (2013),  79–89
14. Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени
    
    Сиб. матем. журн., 54:6 (2013),  1304–1314
15. Построение явного базиса для допустимых правил вывода модальных логик, расширяющих $S4.1$
    
    Дискрет. матем., 23:4 (2011),  48–65
16. Таблично допустимые правила вывода
    
    Алгебра и логика, 48:3 (2009),  400–414
17. Явный базис допустимых правил вывода табличных модальных логик ширины 2
    
    Алгебра и логика, 48:1 (2009),  122–148
18. Явный базис допустимых правил вывода модальных логик, расширяющих $S4.1$, $Grz$
    
    Сиб. матем. журн., 50:4 (2009),  872–882
19. Базисы допустимых правил $K$-насыщенных логик
    
    Алгебра и логика, 47:6 (2008),  750–761
20. Явный базис допустимых правил вывода логик конечной ширины
    
    Журн. СФУ. Сер. Матем. и физ., 1:1 (2008),  83–91
21. Сохранение допустимости правил вывода в логиках, родственных $S4.2$
    
    Сиб. матем. журн., 43:2 (2002),  446–453
22. Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики
    
    Алгебра и логика, 39:6 (2000),  720–740
23. О конечной базируемости по допустимости модальных логик ширины $2$
    
    Алгебра и логика, 38:4 (1999),  436–455
24. Базисы допустимых правил вывода табличных модальных логик глубины $2$
    
    Алгебра и логика, 35:5 (1996),  612–622