Transfinite extension ot the mu-calculus

Détails

ID Serval
serval:BIB_069B7A1A708C
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Titre
Transfinite extension ot the mu-calculus
Titre de la conférence
Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Auteur(s)
Bradfield J., Duparc J., Quickert S.
Editeur
Springer Berlin / Heidelberg
ISBN
978-3-540-28231-0
978-3-540-31897-2
Statut éditorial
Publié
Date de publication
2005
Peer-reviewed
Oui
Editeur scientifique
Ong L.
Volume
3634
Série
Lecture Notes in Computer Science
Pages
384-396
Langue
anglais
Résumé
In [1] Bradfield found a link between finite differences formed by Sigma(2)(0) sets and the mu-arithmetic introduced by Lubarski [7]. We extend this approach into the transfinite: in allowing countable disjunctions we show that this kind of extended mu-calculus matches neatly to the transfinite difference hierarchy of E-2(0) sets. The difference hierarchy is intimately related to parity games. When passing to infinitely many priorities, it might not longer be true that there is a positional winning strategy. However, if such games are derived from the difference hierarchy, this property still holds true.
Web of science
Création de la notice
28/01/2008 16:25
Dernière modification de la notice
03/03/2018 13:26
Données d'usage