We gratefully acknowledge support from
the Simons Foundation and member institutions.

Uli Fahrenberg is qualified to endorse.

Structural Refinement for the Modal nu-Calculus

Uli Fahrenberg: Is registered as an author of this paper.
Can endorse for cs.CL, cs.FL, cs.LG, cs.LO, cs.SE, math.AT, math.CO, math.CT, math.GN, math.OC, math.RA. (why?)

Axel Legay and Louis-Marie Traonouez are not registered as owners of this paper. (why?)