On modal $μ$-calculus and Gödel-Löb logic

TitleOn modal $μ$-calculus and Gödel-Löb logic
Publication TypeJournal Article
Year of Publication2009
AuthorsAlberucci, L, Facchini, A
JournalStudia Logica
Volume91
Pagination145-169
URLhttp://www.iam.unibe.ch/ltgpub/2009/af09a.pdf