Complexity results for modal logic with recursion via translations and tableaux (Logical Methods in Computer Science, 2024)