We consider the relation between the uniform interpolation property and the elimination
of non-standard quantifiers (the bisimulation quantifiers) in the context of the μ-calculus.
In particular, we isolate classes of frames where the correspondence between these two properties
is nicely smooth.
