Article: article from journal or magazin.
The Modal mu-Calculus and The Gödel-Löb Logic
We show that the modal µ-calculus over GL collapses to the modal fragment by showing that the ﬁxpoint formula is reached after two iterations and answer to a question posed by van Benthem in [vBe06]. Further, we introduce the modal µ∼-calculus by allowing ﬁxpoint constructors for any formula where the ﬁxpoint variable appears guarded but not necessarily positive and show that this calculus over GL collapses to the modal fragment, too. The latter result allows us a new proof of the de Jongh, Sambin Theorem and provides a simple algorithm to construct the ﬁxpoint formula.
Last modification date