|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
Vitaliy V. Rimatsky, Olga V. Ganchukova, “Admissible inference rules of temporal intransitive logic with the operator "tomorrow"”, Журн. СФУ. Сер. Матем. и физ., 17:3 (2024), 347–354  |
| 2. |
В. В. Римацкий, “Допустимые правила вывода модальных WCP-логик”, Сиб. матем. журн., 65:1 (2024), 180–197 |
|
2023 |
| 3. |
В. В. Римацкий, “Явный базис $WCP$-глобально допустимых правил вывода”, Алгебра и логика, 62:2 (2023), 219–246 |
| 4. |
Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 98–107 |
1
|
| 5. |
Vitaliy V. Rimatskiy, “Criterion of global admissibility for logic $\mathrm{IPC}$”, Журн. СФУ. Сер. Матем. и физ., 16:5 (2023), 620–627 |
|
2022 |
| 6. |
В. В. Римацкий, “Явный базис для допустимых правил $K$-насыщенных табличных логик”, Дискрет. матем., 34:1 (2022), 126–140  ; V. V. Rimatskii, “Explicit basis for admissible rules in $K$-saturated tabular logics”, Discrete Math. Appl., 33:2 (2023), 105–115 |
3
|
| 7. |
В. В. Римацкий, “Глобально допустимые правила вывода”, Известия Иркутского государственного университета. Серия Математика, 42 (2022), 138–160 |
| 8. |
V. V. Rimatskiy, “Description of modal logics which enjoy co-cover property”, Сиб. электрон. матем. изв., 19:1 (2022), 316–325 |
|
2021 |
| 9. |
В. В. Римацкий, “Допустимые правила вывода и семантические свойства модальных логик”, Известия Иркутского государственного университета. Серия Математика, 37 (2021), 104–117  |
1
|
|
2013 |
| 10. |
В. В. Римацкий, В. Р. Кияткин, “Независимый базис допустимых правил вывода предтабличных логик и их расширений”, Сиб. электрон. матем. изв., 10 (2013), 79–89 |
5
|
| 11. |
А. Н. Лукьянчук, В. В. Римацкий, “Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени”, Сиб. матем. журн., 54:6 (2013), 1304–1314 ; A. N. Luk'yanchuk, V. V. Rimatskiǐ, “An axiomatization for the linear logic of knowledge and time $LTK_r$ with intransitive time relation”, Siberian Math. J., 54:6 (2013), 1037–1045  |
3
|
|
2011 |
| 12. |
В. В. Римацкий, “Построение явного базиса для допустимых правил вывода модальных логик, расширяющих $S4.1$”, Дискрет. матем., 23:4 (2011), 48–65  ; V. V. Rimatskii, “On construction of an explicit basis for admissible inference rules of modal logics extending $S4.1$”, Discrete Math. Appl., 21:5-6 (2011), 741–760 |
|
2009 |
| 13. |
В. В. Римацкий, “Таблично допустимые правила вывода”, Алгебра и логика, 48:3 (2009), 400–414  ; V. V. Rimatskii, “Table admissible inference rules”, Algebra and Logic, 48:3 (2009), 228–236 |
2
|
| 14. |
В. В. Римацкий, “Явный базис допустимых правил вывода табличных модальных логик ширины 2”, Алгебра и логика, 48:1 (2009), 122–148 ; V. V. Rimatskii, “An explicit basis for admissible inference rules in table modal logics of width 2”, Algebra and Logic, 48:1 (2009), 72–86 |
| 15. |
В. В. Римацкий, “Явный базис допустимых правил вывода модальных логик, расширяющих $S4.1$, $Grz$”, Сиб. матем. журн., 50:4 (2009), 872–882 ; V. V. Rimatskii, “An explicit basis for the admissible inference rules of the modal logics extending $S4.1$ and $Grz$”, Siberian Math. J., 50:4 (2009), 692–699 |
|
2008 |
| 16. |
В. В. Римацкий, “Базисы допустимых правил $K$-насыщенных логик”, Алгебра и логика, 47:6 (2008), 750–761 ; V. V. Rimatskii, “Bases of admissible rules for $K$-saturated logics”, Algebra and Logic, 47:6 (2008), 420–425 |
4
|
| 17. |
Виталий В. Римацкий, “Явный базис допустимых правил вывода логик конечной ширины”, Журн. СФУ. Сер. Матем. и физ., 1:1 (2008), 83–91 |
4
|
|
2002 |
| 18. |
В. В. Рыбаков, В. В. Римацкий, “Сохранение допустимости правил вывода в логиках, родственных $S4.2$”, Сиб. матем. журн., 43:2 (2002), 446–453 ; V. V. Rybakov, V. V. Rimatskii, “Preservation of admissibility of inference rules in the logics similar to $S4.2$”, Siberian Math. J., 43:2 (2002), 357–362 |
2
|
|
2000 |
| 19. |
В. В. Рыбаков, М. Терзилер, В. В. Римацкий, “Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики”, Алгебра и логика, 39:6 (2000), 720–740 ; V. V. Rybakov, M. Terziler, V. V. Rimatskii, “DescrIbing a basis in semireduced form for inference rules of intuitionistic logic”, Algebra and Logic, 39:6 (2000), 412–422 |
|
1999 |
| 20. |
В. В. Римацкий, “О конечной базируемости по допустимости модальных логик ширины $2$”, Алгебра и логика, 38:4 (1999), 436–455 |
12
|
|
1996 |
| 21. |
В. В. Римацкий, “Базисы допустимых правил вывода табличных модальных логик глубины $2$”, Алгебра и логика, 35:5 (1996), 612–622 |
7
|
|
Обратная связь: