TY  - RPRT
TI  - Complexity through Translations for Modal Logic with Recursion
AU  - Luca Aceto
AU  - Antonis Achilleos
AU  - Elli Anastasiadi
AU  - Adrian Francalanza
AU  - Anna Ingolfsdottir
PY  - 2022
DO  - 10.4204/eptcs.370.3
UR  - https://arxiv.org/abs/2209.10377
ID  - 2209.10377
ER  -