Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)

DOI10.1007/978-3-540-69407-6_22zbMath1142.03338OpenAlexW1524850644MaRDI QIDQ3507433

Jacques Duparc, Alessandro Facchini

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_22

zbMATH Keywords

parity gamestopological complexity\(\mu \)-calculusWadge gamesweakly alternating automata

Mathematics Subject Classification ID

Descriptive set theory (03E15) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05)