"Explaining with reasons: from Aristotle to machine learning classifiers" (together with B. Hill), The Review of Symbolic Logic, forthcoming.
"Mathematical explanations and axioms as rules," (together with E. Pimentel), Topoi, Special Issue "Logic and explanation", forthcoming.
Purity and explanation: a systematic case study," (together with R. Martinot), Synthese, 243: 2025.
"(Conceptual) explanations in logic," Journal of Logic and Computation, 35: 2025.
"Mathematical explanations: an analysis via formal proofs and conceptual complexity," Philosophia Mathematica, 32(2): 145-176, 2024.
"From thin objects to thin concepts?" (together with M. Carrara and C. De Florio), Theoria, 89: 256-265, 2023.
"Conceptual (and hence mathematical) explanations, conceptual grounding and proof" (together with F. Genco), Erkenntnis, 88: 1481-1507, 2023.
"Grounding and propositional identity: a solution to Wilhelm's inconsistencies," Logic and logical philosophy, 32: 33-38, 2022.
'Grounding, quantifiers and paradoxes", (together with F. Genco and L. Rossi), Journal of Philosophical Logic, 50:1417-1448, 2021.
"Grounding principles for relevant implication," Synthese, 198:7351-7376, 2021.
"Toward a generalization of the logic of grounding," (with N. Francez), Theoria, 36: 5-24, 2021.
"A proof-theoretical framework for several types of grounding," Logique et Analyse, 252: 387-414, 2020.
"Grounding rules for (relevant) implication," Journal of Applied Non-Classical Logics, 8: 1-30, 2020.
"Grounding rules and (hyper-)isomorphic formulas," Australasian Journal of Logic, 17: 70-80, 2020.
"An analytic calculus for the intuitionistic logic of proofs", (with B. Hill), Notre Dame Journal of Formal Logic, 60:353-393, 2019.
"On constructing a logic for the notion of complete and immediate formal grounding", Synthese, 195: 1231–1254, 2018.
"On defining the notion of complete and immediate formal grounding", Synthese, 193: 3147-3167, 2016.
"Natural deduction calculi and sequent calculi for counterfactual logics", Studia Logica, 104: 1003-1036, 2016.
"Common knowledge: finite calculus with syntactic cut-elimination procedure" (with B.Hill), Logique et Analyse, 58, 136-159, 2015.
"Are the validities of modal logic analytic? Or analyticity again through information, proof, modal logic and Hintikka", Philosophia Scientiae, 19, 221-243, 2015.
"From a single agent to multi-agent via hypersequents", Logica Universalis, 7: 147-166, 2013.
"On the importance of being analytic. The paradigmatic case of the logic of proofs", Logique et Analyse, 219: 443-461, 2012.
"Display calculi and other modal calculi: a comparison", Synthese, 173: 259-279, 2010.
"A contraction-free and cut-free sequent calculus for propositional dynamic logic" (with B. Hill), Studia Logica, 94:47-72, 2010.
" A purely syntactic and cut-free sequent calculus for the modal logic of provability", The Review of Symbolic Logic, 2:593-611, 2009.
"A cut-free simple sequent calculus for modal logic S5”, The Review of Symbolic Logic, 1:3-15, 2008.
"Three solutions to the Knower paradox", Annali del Dipartimento di Filosofia dell'Università di Firenze, XIII: 147-163, 2008.