Luca Alberucci

According to our database, Luca Alberucci authored at least 7 papers between 2001 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Justifying induction on modal μ-formulae.

Luca Alberucci, Jürg Krähenbühl, Thomas Studer

Log. J. IGPL, 2014

2009

On Modal <i>µ</i> -Calculus and Gödel-Löb Logic.

Luca Alberucci, Alessandro Facchini

Stud Logica, 2009

Sequent Calculi for the Modal µ-Calculus over S5.

Luca Alberucci

J. Log. Comput., 2009

The modal µ-calculus hierarchy over restricted classes of transition systems.

Luca Alberucci, Alessandro Facchini

J. Symb. Log., 2009

2005

About cut elimination for logics of common knowledge.

Luca Alberucci, Gerhard Jäger

Ann. Pure Appl. Log., 2005

2004

On Modal μ-Calculus and Non-Well-Founded Set Theory.

Luca Alberucci, Vincenzo Salipante

J. Philos. Log., 2004

2001

Strictness of the Modal µ-Calculus Hierarchy.

Luca Alberucci

Proceedings of the Automata, 2001