Complexity results for modal logic with recursion via translations and tableaux
scientific article; zbMATH DE number 7906376
scientific article