Concepedia
Statistics
Publications
10
Citations
182
H-Index
Active since
2002
Affiliations
University of the Witwatersrand(Current)
Tver State University
Institute for Information Transmission Problems
National Research University Higher School of Economics
Mikhail Rybakov is an author at University of the Witwatersrand specializing in logic, computer science, and humanities.
Publications per year
2002–2021
How many variables does one need to prove PSpace-hardness of modal logics
Alexander Chagrov, Mikhail Rybakov · 2002 · 39 citations
Humanities, Computer Science, Mathematics +8
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
Mikhail Rybakov, Dmitry Shkatov · Studia Logica · 2018 · 28 citations · Full text
Humanities, Computer Science, Mathematics +13
Complexity and expressivity of propositional dynamic logics with finitely many variables
Mikhail Rybakov, Dmitry Shkatov · Logic Journal of IGPL · 2018 · 21 citations · Full text
Computing, Computer Science, Mathematics +12
Complexity of intuitionistic propositional logic and its fragments
Mikhail Rybakov · Journal of Applied Non-Classical Logics · 2008 · 18 citations
Humanities, Philosophy, Logic +7
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
Mikhail Rybakov, Dmitry Shkatov · Journal of Logic and Computation · 2020 · 14 citations
Humanities, Computer Science, Mathematics +12
1–5 of 10