μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★

Abstract

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.

Keywords:

• modal logics
• uniform interpolations
• bisimulation quantifiers