1. Alberucci, L., A Syntactical Treatment of Simultaneous Fixpoints in the Modal μ- Calculus, Technical Report, University of Berne, 2008.
2. Alberucci, L., and A. Facchini, ‘The Modal μ-Calculus Hierarchy on Restricted Classes of Transition Systems’. Submitted.
3. Alberucci, L., and J. Krähenbühl, ‘Justifying Induction on Modal μ-Formulae’. In Preparation.
4. van Benthem J. (2006) ‘Modal Frame Correspondences and Fixed-Points’. Studia Logica 83: 133–155
5. Bernardi C. (1976) ‘The Uniqueness of the Fixed Point in Every Diagonalizable Algebra’. Studia Logica 35: 335–343