13 citations · 27 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021★ 13 cited
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
Mikhail Rybakov, Dmitry Shkatov
We study the algorithmic properties of first-order monomodal logics of frames , , $\langle \mathbb{Q}, \leq \rangle…
cs.LO2019
Complexity and expressivity of propositional dynamic logics with finitely many variables
Mikhail Rybakov, Dmitry Shkatov
We investigate the complexity of satisfiability for finite-variable fragments of propositional dynamic logics. We consider three formalisms belonging to three representative comple…
cs.LO2018
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
Mikhail Rybakov, Dmitry Shkatov
We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single pro…