Кияткин Владимир Ростиславич

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

1. Interval multi-agent logic with reliability operator
   
   Журн. СФУ. Сер. Матем. и физ., 17:5 (2024),  679–683
2. Formulas expressing totally nonstable truth values of formulas
   
   Известия Иркутского государственного университета. Серия Математика, 44 (2023),  108–115
3. Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
   
   Журн. СФУ. Сер. Матем. и физ., 15:1 (2022),  56–74
4. Независимый базис допустимых правил вывода предтабличных логик и их расширений
   
   Сиб. электрон. матем. изв., 10 (2013),  79–89
5. О финитной аппроксимируемости для допустимых правил вывода
   
   Алгебра и логика, 40:5 (2001),  593–618
6. Независимые базисы для правил, допустимых в предтабличных логиках
   
   Алгебра и логика, 39:2 (2000),  206–226
7. Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1
   
   Сиб. матем. журн., 41:1 (2000),  88–97