On modal \(\mu \)-calculus and Gödel-Löb logic
scientific article; zbMATH DE number 5552247