Михаил Рыбаков|Mikhail Rybakov

Михаил Рыбаков|Mikhail Rybakov

Tver State University - Tver / Russia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4488045
Тверской государственный университет
person_outline Михаил Рыбаков|Mikhail Rybakov's MOST POPULAR ARTICLES
1-) How many variables does one need to prove PSPACE-hardness of modal logics? Advances in Modal Logic 4 (AiML’02), 2003
2-) Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter Studia Logica 107 (4), 695-717, 2019
3-) Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables. Advances in Modal Logic 6, 393-411, 2006
4-) Complexity of finite-variable fragments of propositional modal logics of symmetric frames Logic Journal of the IGPL 27 (1), 60-68, 2019
5-) Complexity and expressivity of propositional dynamic logics with finitely many variables Logic Journal of the IGPL 26 (5), 539-547, 2018