Mikhail Rybakov
Высшая школа экономики
- Logic, Reasoning, and Knowledge
- Advanced Algebra and Logic
- Logic, programming, and type systems
- semigroups and automata theory
- Semantic Web and Ontologies
Чем занимается
Ключевые темы по публикациям: Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems; semigroups and automata theory; Semantic Web and Ontologies.
Последние работы
Все 54 в OpenAlexHow many variables does one need to prove PSpace-hardness of modal logics2002 · аннотациясвернуть
this paper is to nd out the minimal number of variables one needs to prove PSPACE-hardness of the decision problem for standard modal logics. Since this problem (even in the full in nite language) is in PSPACE, we…
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter2018 · аннотациясвернуть
We prove that the positive fragment of first-order intuitionistic logic in the language with two individual variables and a single monadic predicate letter, without functional symbols, constants, and equality, is…
Complexity and expressivity of propositional dynamic logics with finitely many variables2018 · аннотациясвернуть
We investigate the complexity of satisfiability for finite-variable fragments of propositional dynamic logics (PDLs). We consider three formalisms belonging to three representative complexity classes, broadly…
Complexity of intuitionistic propositional logic and its fragments2008 · аннотациясвернуть
In the paper we consider complexity of intuitionistic propositional logic and its natural fragments such as implicative fragment, finite-variable fragments, and some others. Most facts we mention here are known and…
- Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages2020
- Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables2026
- Конъюнктивные запросы к базам знаний: какую семантику выбрать?2025
- Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)2025
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Mikhail Rybakov! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «How many variables does one need to prove PSpace-hardness of modal logics» (2002) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.