On One-Variable Fragments of Modal µ-Calculus

DOI10.1142/9789811259296_0002OpenAlexW4283028858MaRDI QIDQ6135561FDOQ6135561

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

difference hierarchyparity games\(\mu\)-calculus\(\mu\)-arithmetic

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)