Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 19.01.1979
E-mail: ,
Keywords: real line, difference modality, spatial logic.

Subject:

Modal logic, spatial logic, complexity.

Recent publications

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• 
• 
• 

Organisations:

• Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow
• Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
• Lomonosov Moscow State University