On One-Variable Fragments of Modal µ-Calculus

DOI10.1142/9789811259296_0002MaRDI QIDQ6135561zbMATH OpenOpenAlexFDO

Authors Wenjuan Li, Kazuyuki Tanaka

Publication date 25 August 2023

Published in Computability Theory and Foundations of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789811259296_0002

zbMATH Keywords

\(\mu\)-arithmetic\(\mu\)-calculusdifference hierarchyparity games

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

This page was built for publication: On One-Variable Fragments of Modal µ-Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6135561)