On Modal mu-Calculus with Explicit Interpolants Giovanna D'Agostino, Giacomo Lenzi Abstract: This paper deals with the logic obtained by extending Kozen mu-calculus with the so-called `` bisimulation quantifiers''. These quantifiers allow to look for a subset P satisfying a priperty F(P) not only within the model, but also in any other model which is bisimilar to the given one. By using these quantifiers one can describe explicitly the uniform interpolant of any formula of the mu-calculus. In this work we provide a complete calculus for the extended logic. Keywords: mu-calculus, uniform interpolants, bisimulation, bisimulation quantifiers, complete calculus