Alberucci, Luca and Facchini, Alessandro (2009) On Modal μ-Calculus and Gödel-Löb Logic. Studia Logica, 91 (2). pp. 145-169. ISSN 0039-3215
Text
af09a.pdf - Draft Version Download (226kB) |
Abstract
We show that the modal μ-calculus over GL collapses to the modal fragment by showing that the fixpoint 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 fixpoint constructors for any formula where the fixpoint 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 fixpoint formula.
Item Type: | Scientific journal article, Newspaper article or Magazine article |
---|---|
Uncontrolled Keywords: | Fixpoint; Modal μ-Calculus; Gödel-Löb Logic |
Subjects: | Computer sciences > Computer science > Computational science foundations |
Depositing User: | Alessandro Facchini |
Date Deposited: | 12 Feb 2015 06:30 |
Last Modified: | 07 Jul 2016 13:21 |
URI: | http://repository.supsi.ch/id/eprint/6120 |
Actions (login required)
View Item |