Главная » Институт » Сотрудники

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

кандидат физико-математических наук, доцент
тел.: (391) 206-20-76
e-mail:
адрес: пр. Свободный, 79, ауд. 34-17
год рождения: 1952

Место работы и должность

Образование

  • Красноярский государственный университет — Математика, квалификация "Математика", 1975 г.

Стаж работы (полных лет)

    Общий: 47
    По специальности: 47

Научные направления, профессиональные интересы

  • Исследование правил вывода в модальных логиках

Диссертации

Кандидатская диссертация
Исследование правил вывода в модальных логиках, расширяющих S4

Преподаваемые дисциплины

  • Линейная алгебра и геометрия
  • Математическая логика
  • Модальные системы
  • Общие вопросы логики
  • Элементы нестандартных логик
  • Общая алгебра
  • Формальные системы в алгебре и логике
  • Теория моделей
  • Нестандартные логики

Публикации

Последние публикации:

  1. Interval Multi-agent Logic with Reliability Operator : научное издание [статья из журнала]
    Kiyatkin Vladimir R., Rybakov Vladimir V.
    2024, Журнал Сибирского федерального университета. Серия: Математика и физика
  2. Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание [статья из журнала]
    Rybakov Vladimir V., Kiyatkin Vladimir R., Grekovich Konstantin V.
    2023, Известия Иркутского государственного университета. Серия: Математика
  3. Logic with permanently unstable information : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rybakov V. V., Kiyatkin V. R., Grekovich K. V.
    2022
  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. Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Кияткин В. Р., Кошелева А. В.
    2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
Показать ещё публикации
  1. НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
    Римацкий Виталий Валентинович, Кияткин Владимир Ростиславович
    2013, Сибирские электронные математические известия
  2. Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]
    Rybakov V. V., Kiyatkin V. R., Oner T.
    2001, Algebra and Logic
  3. Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]
    Rybakov V. V., Kiyatkin V. R., Terziler M.
    2000, Algebra and Logic
  4. 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
  5. Нестандартные логические системы и правила вывода [отчёт о НИР]
    Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
    1996

Список публикаций сформирован в автоматическом режиме. Сообщите, если заметили неточности.

Наиболее значимые публикации:

  • В. В. Римацкий, В. Р. Кияткин, Независимый базис допустимых правил вывода предтабличных логик и их расширений, Сиб. электрон. матем. изв., 10 (2013), 79–89
  • В. В. Рыбаков, В. Р. Кияткин, Т. Онер, О финитной аппроксимируемости для допустимых правил вывода, Алгебра и логика, 40:5 (2001), 593–618
  • В. В. Рыбаков, В. Р. Кияткин, М. Терзилер, Независимые базисы для правил, допустимых в предтабличных логиках, Алгебра и логика, 39:2 (2000), 206–226
  • В. Р. Кияткин, Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1, Сиб. матем. журн., 41:1 (2000), 88–97

Всего публикаций: 0.

Ссылка на профиль в Scopus

Ссылка на профиль в Академии Google

Повышение квалификации, стажировки

  • Сибирский федеральный университет на факультете повышения квалификации преподавателей, "Электронные информационные ресурсы для образования", сертификат №26-1/15-Э777 — 2015 г.

© 2025 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram