E-mail:
Website: https://lms.tversu.ru/eportfolios/3636
Keywords: Logic, modal logics, superintuitionistic logics, non-classical logics, predicate logics, complexity, dcidability, Kripke semantics

Subject:

Logic

Publications

Talks and lectures

Personal pages:

• 
• 
• 
• 
• 
• ISTINA
• 
• 
• 
• 
• 

Organisations:

• Higher School of Modern Mathematics MIPT
• Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow
• University of the Witwatersrand, Johannesburg
• National Research University Higher School of Economics, Moscow
• R&D Institute Centerprogramsystem
• Tver State University, Department of Mathematics