Justifying induction on modal μ-formulae. - Luca Alberucci; Jürg Krähenbühl; Thomas Studer (Log. J. IGPL, 2014)