The Modal μ-Calculus Hierarchy on Restricted Classes of Transition Systems

Détails

Ressource 1Télécharger: BIB_9EAD16376E0A.P001.pdf (347.44 [Ko])
Etat: Public
Version: de l'auteur⸱e
ID Serval
serval:BIB_9EAD16376E0A
Type
Article: article d'un périodique ou d'un magazine.
Collection
Publications
Institution
Titre
The Modal μ-Calculus Hierarchy on Restricted Classes of Transition Systems
Périodique
The Journal of Symbolic Logic
Auteur⸱e⸱s
Facchini A., Alberucci L.
Statut éditorial
Publié
Date de publication
2009
Peer-reviewed
Oui
Volume
74
Numéro
4
Pages
1367-1400
Langue
anglais
Résumé
We discuss the strictness of the modal µ-calculus hierarchy over some restricted classes of transition systems. First, we show that the hierarchy is strict over reflexive frames. By proving the finite model theorem for reflexive systems the same results holds for finite models. Second, we prove that over transitive systems the hierarchy collapses to the alternation-free fragment. In order to do this the finite model theorem for transitive transition systems is also proved. Further, we verify that if symmetry is added to transitivity the hierarchy collapses to the purely modal fragment.
Création de la notice
17/12/2008 10:22
Dernière modification de la notice
20/08/2019 16:04
Données d'usage