SFU Logo
  • Структура
  • Все документы
  • Партнёры
  • Закупки
  • Карьера в СФУ
  • Позиции СФУ в рейтингах
  • СФУ в федеральных проектах
  • Символика
  • Кампус
  • Общественная приёмная
  • Политика конфиденциальности
  • Об университете
SFU Logo
SFU Logo
Сведения о вузе
SFU Logo
Сведения о вузе
АбитуриентуШкольникуСтудентуАспирантуСотрудникуПартнёруПрессе
АбитуриентуШкольникуСтудентуАспирантуСотрудникуПартнёруПрессе
  • Общая информация
  • Структура
  • Все документы
  • Партнёры
  • Закупки
  • Карьера в СФУ
  • Позиции СФУ в рейтингах
  • СФУ в федеральных проектах
  • Символика
  • Кампус
  • Общественная приёмная
  • Политика конфиденциальности
  • Общая информация
  • Бакалавриат, специалитет
  • Магистратура
  • Аспирантура
  • Докторантура
  • Полезные материалы
  • Контакты
  • Иностранным абитуриентам
  • Общая информация
  • Расписание
  • Образовательные программы
  • Графики учебного процесса
  • Платное обучение
  • Электронное обучение СФУ
  • Возможности для студентов
  • Дополнительное образование
  • Документирование учебной деятельности
  • Общая информация
  • Сотруднику
  • Исследования
  • Трансфер технологий
  • Инфраструктура
  • Аспирантура
  • Докторантура
  • Научная аттестация
  • Научные журналы СФУ
  • Общая информация
  • Бронирование пространств
  • Студенческие организации и объединения
  • Мероприятия
  • Коворкинги
  • Спорт
  • Общая информация
  • Международное сотрудничество
  • Для выезда за рубеж
  • Для иностранных граждан
  • Документы
Сведения об образовательной организацииПротиводействие коррупцииБанковские реквизитыАрхив

© Сибирский федеральный университет, 2006-2025

Сделано

ГлавнаяОб университетеСтруктураСотрудникиКияткин Владимир Ростиславович
Общая информацияПубликации

Публикации

  1. 1. Interval Multi-agent Logic with Reliability Operator : научное издание [статья из журнала]
    Kiyatkin Vladimir R., Rybakov Vladimir V.
    2024, Журнал Сибирского федерального университета. Серия: Математика и физика
  2. 2. Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание [статья из журнала]
    Rybakov Vladimir V., Kiyatkin Vladimir R., Grekovich Konstantin V.
    2023, Известия Иркутского государственного университета. Серия: Математика
  3. 3. Logic with permanently unstable information : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V., Kiyatkin V. R., Grekovich K. V.
    2022
  4. 4. Satisfiability in a Temporal Multi-valueted Logic Based on Z [статья из журнала]
    Kiyatkin V. R., Kosheleva A. V.
    2022, Journal of Siberian Federal University - Mathematics and Physics
  5. 5. Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Кияткин В. Р., Кошелева А. В.
    2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
  6. 6. НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
    Римацкий Виталий Валентинович, Кияткин Владимир Ростиславович
    2013, Сибирские электронные математические известия
  7. 7. Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]
    Rybakov V. V., Kiyatkin V. R., Oner T.
    2001, Algebra and Logic
  8. 8. Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]
    Rybakov V. V., Kiyatkin V. R., Terziler M.
    2000, Algebra and Logic
  9. 9. On finite model property for admissible rules [статья из журнала]
    Rybakov V. V., Kiyatkin V. R., Mathematics Department, Science Faculty, Ege University, Bornova-Izmir, 35100, Turkey T.
    1999, MATHEMATICAL LOGIC QUARTERLY
  10. 10. Нестандартные логические системы и правила вывода [отчёт о НИР]
    Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
    1996