Mikhail Rybakov | DeepAI

DeepAI AI Chat

Featured Co-authors

Dmitry Shkatov
7 publications

∙ 05/25/2021

Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages

We study the algorithmic properties of first-order monomodal logics of f...

0 Mikhail Rybakov, et al. ∙

∙ 11/21/2019

Recursive enumerability and elementary frame definability in predicate modal logic

We investigate the relationship between recursive enumerability and elem...

0 Mikhail Rybakov, et al. ∙

∙ 10/05/2019

Complexity of finite-variable fragments of propositional modal logics of symmetric frames

While finite-variable fragments of the propositional modal logic S5–comp...

0 Mikhail Rybakov, et al. ∙

∙ 01/18/2019

Complexity and expressivity of propositional dynamic logics with finitely many variables

We investigate the complexity of satisfiability for finite-variable frag...

0 Mikhail Rybakov, et al. ∙

∙ 10/22/2018

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

We show that Branching-time temporal logics CTL and CTL*, as well as Alt...

0 Mikhail Rybakov, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world