# Publications

Export 8 results:
Filters: Author is Luca Alberucci  [Clear All Filters]
2009
: On modal $μ$-calculus and Gödel-Löb logic. Studia Logica. 91, 145-169 (2009).
Alberucci, L.: Sequent calculi for the modal $μ$-calculus over $\mathsf {S5}$. Journal of Logic and Computation. (2009).
: The modal $μ$-calculus hierarchy over restricted classes of transition systems. Journal of Symbolic Logic. 74, 1367-1400 (2009).
2005
: About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic. 133, 73-99 (2005).
2004
: On modal $μ$-calculus and non-well-founded set theory. Journal of Philosophical Logic. 33, 343-360 (2004).
2002
Alberucci, L.: Strictness of the modal $μ$-calculus hierarchy. In: Automata, Logics and infinite Games: A Guide to Current Research. pp. 185-201. Springer (2002).