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

Mikhail N. Rybakov, Dmitry Shkatov

Browse the full ICTAC paper archive.