Luca Alberucci

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

6 Luca Alberucci: Sequent Calculi for the Modal µ-Calculus over S5. J. Log. Comput. 19(6): 971-985 (2009)

5 Luca Alberucci, Alessandro Facchini: The modal µ-calculus hierarchy over restricted classes of transition systems. J. Symb. Log. 74(4): 1367-1400 (2009)

4 Luca Alberucci, Alessandro Facchini: On Modal µ -Calculus and Gödel-Löb Logic. Studia Logica 91(2): 145-169 (2009)

2005

3 Luca Alberucci, Gerhard Jäger: About cut elimination for logics of common knowledge. Ann. Pure Appl. Logic 133(1-3): 73-99 (2005)

2004

2 Luca Alberucci, Vincenzo Salipante: On Modal μ-Calculus and Non-Well-Founded Set Theory. J. Philosophical Logic 33(4): 343-360 (2004)

2001

1 Luca Alberucci: Strictness of the Modal µ-Calculus Hierarchy. Automata, Logics, and Infinite Games 2001: 185-201

	2009
6		Luca Alberucci: Sequent Calculi for the Modal µ-Calculus over S5. J. Log. Comput. 19(6): 971-985 (2009)
5		Luca Alberucci, Alessandro Facchini: The modal µ-calculus hierarchy over restricted classes of transition systems. J. Symb. Log. 74(4): 1367-1400 (2009)
4		Luca Alberucci, Alessandro Facchini: On Modal µ -Calculus and Gödel-Löb Logic. Studia Logica 91(2): 145-169 (2009)
	2005
3		Luca Alberucci, Gerhard Jäger: About cut elimination for logics of common knowledge. Ann. Pure Appl. Logic 133(1-3): 73-99 (2005)
	2004
2		Luca Alberucci, Vincenzo Salipante: On Modal μ-Calculus and Non-Well-Founded Set Theory. J. Philosophical Logic 33(4): 343-360 (2004)
	2001
1		Luca Alberucci: Strictness of the Modal µ-Calculus Hierarchy. Automata, Logics, and Infinite Games 2001: 185-201

Coauthor Index

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page