Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
scientific article; zbMATH DE number 6869328
scientific article