Birth date: 8.10.2003
Keywords: Modal logic, temporal logic, common knowledge

Subject:

Modal and multimodal logics of their application in computer science and information reliability analysis.

Main publications:

1. Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika, 44 (2023), 98-107

Recent publications

Personal pages:

• 
• 
• 
• 
• 
• 

Organisations:

• Siberian Federal University, Krasnoyarsk