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

No authors of 2209.10377 can endorse.

Complexity through Translations for Modal Logic with Recursion

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza and Anna Ingolfsdottir are not registered as owners of this paper. (why?)