Text this: Complexity results for modal logic with recursion via translations and tableaux