Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics,

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