Home

Publications

Export 8 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Luca Alberucci  [Clear All Filters]
Submitted
Alberucci, L.  Submitted.  A syntactical treatment of simultaneous fixpoints in the modal $μ$-calculus.
2009
Alberucci, L, Facchini A.  2009.  The modal $μ$-calculus hierarchy over restricted classes of transition systems. Journal of Symbolic Logic. 74:1367–1400.
Alberucci, L, Facchini A.  2009.  On modal $μ$-calculus and Gödel-Löb logic. Studia Logica. 91:145-169.
Alberucci, L.  2009.  Sequent calculi for the modal $μ$-calculus over\/ $\mathsfS5$. Journal of Logic and Computation.
2005
Alberucci, L, Jäger G.  2005.  About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic. 133:73{–}99.
2004
Alberucci, L, Salipante V.  2004.  On modal $μ$-calculus and non-well-founded set theory. Journal of Philosophical Logic. 33:343{–}360.
2002
Alberucci, L.  2002.  The Modal $μ$-Calculus and the Logic of Common Knowledge.
Alberucci, L.  2002.  Strictness of the modal $μ$-calculus hierarchy. Automata, Logics and infinite Games: A Guide to Current Research. 2500:185{–}201.