The Modal mu-Calculus and The Gödel-Löb Logic

Détails

Ressource 1Télécharger: BIB_0068A2AA6630.P001.pdf (221.16 [Ko])
Etat: Public
Version: de l'auteur⸱e
ID Serval
serval:BIB_0068A2AA6630
Type
Article: article d'un périodique ou d'un magazine.
Collection
Publications
Institution
Titre
The Modal mu-Calculus and The Gödel-Löb Logic
Périodique
Studia Logica
Auteur⸱e⸱s
Facchini A., Alberucci L.
Statut éditorial
Publié
Date de publication
2009
Peer-reviewed
Oui
Volume
91
Numéro
2
Pages
145-169
Langue
anglais
Résumé
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.
Création de la notice
17/12/2008 9:20
Dernière modification de la notice
20/08/2019 12:22
Données d'usage