Luca Alberucci

Available identifiers

zbMath Open alberucci.lucaMaRDI QIDQ1015478

List of research outcomes

Publication	Date of Publication	Type
Justifying induction on modal \(\mu\)-formulae	2019-01-08	Paper
Sequent calculi for the modal \(\mu \)-calculus over S5	2010-01-14	Paper
The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems	2010-01-07	Paper
On modal \(\mu \)-calculus and Gödel-Löb logic	2009-05-08	Paper
About cut elimination for logics of common knowledge	2005-04-21	Paper
On modal \(\mu\)-calculus and non-well-founded set theory	2005-04-07	Paper
Strictness of the Modal μ-Calculus Hierarchy	2003-07-16	Paper

Research outcomes over time

This page was built for person: Luca Alberucci