Invited Talk: Albert Visser

Löb's Logic Meets the mu-Calculus

We prove that Löb's Logic is a retract of the modal mu-calculus in a suitable category of interpretations. Various salient properties like decidability and uniform interpolation are preserved over retractions. We prove a generalization of the de Jongh-Sambin fixed point theorem.