We gratefully acknowledge support from
the Simons Foundation and member institutions.

Elli Anastasiadi is qualified to endorse.

Complexity results for modal logic with recursion via translations and tableaux

Elli Anastasiadi: Is registered as an author of this paper.
Can endorse for cs.LO, cs.PL. (why?)

Luca Aceto, Antonis Achilleos, Adrian Francalanza and Anna Ingólfsdóttir are not registered as owners of this paper. (why?)