Дата рождения: 8.10.2003
Ключевые слова: Модальная логика, темпоральная логика, common knowledge

Основные темы научной работы:

Модальные и многомодальные логики их приложения в компьютерных науках и анализу надежности информации.

Основные публикации:

1. Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 98-107

Публикации за последние годы

Персональные страницы:

• 
• 
• 
• 
• 
• 

Организации:

• Сибирский федеральный университет, г. Красноярск