Luca Alberucci
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Justifying induction on modal \(\mu\)-formulae Logic Journal of the IGPL | 2019-01-08 | Paper |
| Sequent calculi for the modal \(\mu \)-calculus over S5 Journal Of Logic And Computation | 2010-01-14 | Paper |
| The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems Journal of Symbolic Logic | 2010-01-07 | Paper |
| On modal \(\mu \)-calculus and Gödel-Löb logic Studia Logica | 2009-05-08 | Paper |
| About cut elimination for logics of common knowledge Annals of Pure and Applied Logic | 2005-04-21 | Paper |
| On modal -calculus and non-well-founded set theory Journal of Philosophical Logic | 2005-04-07 | Paper |
| Strictness of the Modal μ-Calculus Hierarchy Lecture Notes in Computer Science | 2003-07-16 | Paper |
Research outcomes over time
This page was built for person: Luca Alberucci
