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

• Кафедра алгебры и математической логики, доцент
  

Образование

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

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

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

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

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

Диссертации

Кандидатская диссертация

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

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

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

Публикации

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

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

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

• В. В. Римацкий, В. Р. Кияткин, Независимый базис допустимых правил вывода предтабличных логик и их расширений, Сиб. электрон. матем. изв., 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 г.