Mikhail N. Rybakov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2002–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics. | Mikhail N. Rybakov, Dmitry Shkatov, Dmitrij P. Skvortsov |
| 2020 | AiML | Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages. | Mikhail N. Rybakov, Dmitry Shkatov |
| 2018 | AiML | A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames. | Mikhail N. Rybakov, Dmitry Shkatov |
| 2018 | ICTAC | Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. | Mikhail N. Rybakov, Dmitry Shkatov |
| 2006 | AiML | Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables. | Mikhail N. Rybakov |
| 2002 | AiML | How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. | Alexander V. Chagrov, Mikhail N. Rybakov |