activity
20082026
most citedUndecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

29 citations · 109 across the 15 of their papers we have counts for

collaborators
Showing 2018 · cs.LOShow all

1 paper · 2 filters

cs.LO2018★ 11 cited

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…