Mikhail Rybakov

Available identifiers

zbMath Open rybakov.mikhail-nikolaevichMaRDI QIDQ1623148

List of research outcomes

Publication	Date of Publication	Type
Complexity function and complexity of validity of modal and superintuitionistic propositional logics	2024-02-08	Paper
A simple example of blocking the Craig trick	2024-01-23	Paper
Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?	2023-09-20	Paper
Algorithmic properties of QK4.3 and QS4.3	2023-07-06	Paper
Kripke trick and decidability of monadic fragments of modal and superintuitionistic logics	2023-07-06	Paper
On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics	2023-06-27	Paper
Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames	2023-06-23	Paper
Tiling problems and complexity of logics (extended version)	2023-06-23	Paper
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter	2023-01-16	Paper
Complexity of the variable-free fragment of the weak Grzegorczyk logic	2022-11-26	Paper
Complexity of finite-variable fragments of products with non-transitive modal logics	2022-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q5104724	2022-09-15	Paper
Complexity and expressivity of propositional dynamic logics with finitely many variables	2022-08-10	Paper
Undecidability of the Logic of Partial Quasiary Predicates	2022-07-22	Paper
Complexity of finite-variable fragments of propositional temporal and modal logics of computation	2022-06-24	Paper
Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter	2022-03-23	Paper
Computational complexity of one-variable fragments of products with T	2021-12-07	Paper
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages	2021-09-22	Paper
Complexity of finite-variable fragments of products with K	2021-04-09	Paper
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages	2021-04-09	Paper
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages	2020-12-15	Paper
Recursive enumerability and elementary frame definability in predicate modal logic	2020-06-04	Paper
Complexity of finite-variable fragments of propositional modal logics of symmetric frames	2019-11-04	Paper
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter	2019-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q5224585	2019-07-24	Paper
Complexity and expressivity of branching- and alternating-time temporal logics with finitely many variables	2018-11-23	Paper
Неразрешимость модальных логик одноместного предиката	2018-06-14	Paper
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter	2017-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q2804041	2016-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q2856051	2013-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q3647277	2009-11-30	Paper
Complexity of intuitionistic propositional logic and its fragments	2009-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3535111	2008-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3509064	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5692811	2005-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5465436	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4467744	2004-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4424651	2004-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4789048	2003-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4789155	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4440791	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4440792	2002-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mikhail Rybakov