29 citations · 109 across the 15 of their papers we have counts for
1 paper · 2 filters
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…