Skip to main content

On closure ordinals for the modal mu−calculus

Bahareh Afshari and Graham E. Leigh

Address
Dagstuhl‚ Germany
Annote
Keywords: Closure ordinals‚ Modal mu−calculus‚ Tableaux
Book Title
Computer Science Logic 2013 (CSL 2013)
Editor
Simona Ronchi Della Rocca
ISBN
978−3−939897−60−6
ISSN
1868−8969
Pages
30–44
Publisher
Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
23
Year
2013