|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
Vladimir R. Kiyatkin, Vladimir V. Rybakov, “Interval multi-agent logic with reliability operator”, Журн. СФУ. Сер. Матем. и физ., 17:5 (2024), 679–683  |
|
2023 |
| 2. |
Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 108–115 |
|
2022 |
| 3. |
Vladimir R. Kiyatkin, Anna V. Kosheleva, “Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$”, Журн. СФУ. Сер. Матем. и физ., 15:1 (2022), 56–74  |
|
2013 |
| 4. |
В. В. Римацкий, В. Р. Кияткин, “Независимый базис допустимых правил вывода предтабличных логик и их расширений”, Сиб. электрон. матем. изв., 10 (2013), 79–89 |
5
|
|
2001 |
| 5. |
В. В. Рыбаков, В. Р. Кияткин, Т. Онер, “О финитной аппроксимируемости для допустимых правил вывода”, Алгебра и логика, 40:5 (2001), 593–618  ; V. V. Rybakov, V. R. Kiyatkin, T. Oner, “Residual Finiteness for Admissible Inference Rules”, Algebra and Logic, 40:5 (2001), 334–347  |
1
|
|
2000 |
| 6. |
В. В. Рыбаков, В. Р. Кияткин, М. Терзилер, “Независимые базисы для правил, допустимых в предтабличных логиках”, Алгебра и логика, 39:2 (2000), 206–226 ; V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Independent bases for admissible rules in pretable logics”, Algebra and Logic, 39:2 (2000), 119–130 |
3
|
| 7. |
В. Р. Кияткин, “Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1”, Сиб. матем. журн., 41:1 (2000), 88–97 ; V. R. Kiyatkin, “Inference rules with metavariables, and logical equations in the pretabular modal logic PM1”, Siberian Math. J., 41:1 (2000), 74–80  |
2
|
|
Обратная связь: