Strictness of the Modal µ-Calculus Hierarchy. - Luca Alberucci (Automata, Logics, and Infinite Games, 2001)

On Modal μ-Calculus and Non-Well-Founded Set Theory. - Luca Alberucci; Vincenzo Salipante (J. Philos. Log., 2004)

About cut elimination for logics of common knowledge. - Luca Alberucci; Gerhard Jäger (Ann. Pure Appl. Log., 2005)

The modal µ-calculus hierarchy over restricted classes of transition systems. - Luca Alberucci; Alessandro Facchini (J. Symb. Log., 2009)

Sequent Calculi for the Modal µ-Calculus over S5. - Luca Alberucci (J. Log. Comput., 2009)

On Modal µ -Calculus and Gödel-Löb Logic. - Luca Alberucci; Alessandro Facchini (Stud Logica, 2009)

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