Löb's logic meets the μ-calculus

Albert Visser*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review


In this paper, we prove that Löb's Logic is a retract of the modal μ-calculus in a suitable category of interpretations. We show that various salient properties like decidability and uniform interpolation are preserved over retractions. We prove a generalization of the de JonghSambin theorem.

Original languageEnglish
Title of host publicationProcesses, Terms and Cycles
Subtitle of host publicationSteps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Number of pages12
ISBN (Print)354030911X, 9783540309116
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3838 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Löb's logic meets the μ-calculus'. Together they form a unique fingerprint.

Cite this