I'm a philosopher with wide-ranging interests, which I would rank in descending yet unstable order as follows : logical methods in philosophy, proof-theory and its applications, computation theory, the philosophy of logic and mathematics, epistemology, and ancient philosophy (with a particular focus on Plato).
My research has been published in many academic journals, including:
The Journal of Symbolic Logic, The Review of Symbolic Logic, Journal of Logic and Computation, Mathematical Structures in Computer Science, Journal of Logic Language and Information, Studia Logica, Journal of Philosophical Logic, Journal of Applied Logic, The Logic Journal of IGPL, Bulletin of the Section of Logic, Synthese, Erkenntnis, European Journal for Philosophy of Science, Foundations of Science, The Cambridge Classical Journal, The Journal of Philosophy, The Australasian Journal of Logic, ACM Transactions on Computational Logic.
Selected publications (since 2012)
(You can follow my previous work on ResearchGate)
Infinite proofs and arithmetical truth (with G. Massas, M. Tesi), under review.
Hypersequent calculi for constrained I/O logics (with A. Sabatini), under review.
Venn diagrams for belief change (with R. Bhattacharjee), under review.
On anticut rules: classical, FDE-based and intuitionistic logics (with A. Sabatini), The Australasian Journal of Logic, 2025, forthcoming.
Logical reasoning in social settings (edited book with M. Tesi and P. Vigiani ), Edizioni della Normale, 2025.
Exception and typicality, logically framed (with M. Tesi), Journal of Logic, Language and Information. Springer, 2025, https://doi.org/10.1007/s10849-025-09437-9.
Hypersequent calculi for propositional default logics (with A. Sabatini), ACM Transactions on Computational Logic, 2025, https://doi.org/10.1145/3725849.
Inside classical logic: truth, contradictions, fractionality (with M. Tesi), Studia Logica, Springer, 2025. https://doi.org/10.1007/s11225-025-10168-y.
Analyticity with extra-logical information (with M. Tesi), Journal of Logic and Computation, Oxford University Press, 2024 , pp. 1-31.
Abduction as deductive saturation: a proof-theoretic inquiry (with G. Pulcini and A. Sabatini), Journal of Philosophical Logic, 52 (6), Springer, 2023, pp. 1575–1602.
Linear logic in a refutational setting (with G. Pulcini and M. Tesi), Journal of Logic and Computation, Oxford University Press, 2023, pp. 1-25.
Non-contractive logics, paradoxes, and multiplicative quantifiers (with C. Nicolai and M. Tesi), The Review of Symbolic Logic, Cambridge University Press, 2023, pp. 1-22.
Fractional-valued modal logic and soft bilateralism (with G. Pulcini and M. Tesi), Bulletin of the Section of Logic, (52/3), 2023, pp. 275–299.
Chrysippus’ logic in a natural deduction setting (with M. D’Agostino), in F. Ademollo, F. Amerini, V. De Risi (Eds.), Thinking and Calculating. Essays on Logic, its History and its Applications, Springer, 2022, pp. 83-99.
On the number of provable formulas (with M. Pedicini, Q.W.Q. Puite), in L. Bellotti, G. Turbanti (eds), Fourth Pisa Colloquium in Logic, Language and Epistemology. Essays in Honour of E. Moriconi, Edizioni ETS, 2021, pp. 145-166.
Fractional-valued modal logic (with G. Pulcini, M. Tesi), The Review of Symbolic Logic, Cambridge University Press, 2021, pp. 1-20.
Molecular biology meets logic. Context-sensitiveness in focus (with G. Boniolo, M. D’Agostino, G. Pulcini), Foundations of Science, Springer, 2021.
Fractional semantics for classical logic (with G. Pulcini), The Review of Symbolic Logic, 13 (4) Cambridge University Press, 2020, pp. 810-828.
Unifying logics via context-sensitiveness (with G. Pulcini), Journal of Logic and Computation, 27 (1), Oxford University Press, 2017, pp. 21-40.
Uniqueness of axiomatic extensions of cut-free classical propositional logic (with G. Pulcini), The Logic Journal of IGPL, 24(5), Oxford University Press, 2016, pp. 708-718.
How to go nonmonotonic through context-sensitiveness (with M. D’Agostino, G. Pulcini), L&PS- Logic and Philosophy of Science, 13 (1), 2015, pp. 3-27.
Adding logic to the toolbox of molecular biology (with G. Boniolo, M. D’Agostino, G. Pulcini), European Journal for Philosophy of Science, 5 (3), Springer, 2015, pp. 399-417.
A logical calculus for controlled monotonicity (with M. D’Agostino, G. Pulcini), Journal of Applied Logic, 12 (4), Elsevier, 2014, pp. 558-569.
A logic of non-monotonic interactions (with G. Boniolo, M. D’Agostino, G. Pulcini), Journal of Applied Logic, 11 (1), Elsevier, 2013, pp. 52-62.
Optimal reduction for non-deterministic lambda calculus (with M. Pedicini), draft, 2024.
Abstract machines, optimal reduction, and streams (with A. Lai, M. Pedicini), Mathematical Structures in Computer Science, 29(9), Cambridge University Press, 2019, pp. 1379-1410.
Kalmar elementary complexity and von Neumann Algebras (with M. Pedicini), PanAmerican Mathematical Journal, 28 (4), 2018, pp. 1-28.
Sequential and Parallel Abstract Machines for optimal reduction (with M. Pedicini, G. Pellitta), Proceedings of the 15th Symposium on Trends in Functional Programming (TFP2014).
A Reflection Principle for Kripke-Feferman Truth (with M. Fischer and C. Nicolai), The Journal of Philosophy, forthcoming.
The implicit commitment of arithmetical theories and its semantic core (with C. Nicolai), Erkenntnis, 84 (4), Springer, 2019, pp. 913–937.
Truth, Existence and Explanation (ed. with G. Pulcini), Boston Studies in the Philosophy of Science, Springer, 2018.
Regole logiche e razionalità umana in M. Dell'Utri, A. Rainone (eds.), Modelli filosofici della razionalità, Mimesis, 2016, pp. 11-28.
What is so special about the Gödel sentence G? (with G. Pulcini), in F. Boccuni F. and A. Sereni (eds.), Philosophy of Mathematics: Objectivity, Cognition and Proof, Boston Studies in the Philosophy and History of Science, Springer, 2016, pp. 245-263.
A Deflationary Account of the Truth of the Gödel Sentence G (with G. Pulcini), in G. Lolli et al. (eds.), From Logic to Practice. Boston Studies in the Philosophy and History of Science, Springer, 2015, pp. 71-90.
Strange Case of Dr. Soundness and Mr. Consistency (with G. Pulcini), in V. Punc̆ochár̆, M. Danc̆ák (eds.), The Logica Yearbook 2013, College Publications, London, 2014, pp. 161-172.
La logica e i fondamenti della matematica tra Ottocento e Novecento in Il contributo italiano alla storia del pensiero. Scienze. Ottava appendice, Istituto dell’Enciclopedia italiana, Roma, 2012, pp. 476-488.
What Arrow's information paradox says (to philosophers) (with M. Pedicini), in V. d’Alfonso and D. Berkich, On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence, Springer, 2019, pp. 83-94.
Possibilities regained: neo-Lewisian contextualism and ordinary life (with N. Dolcini), Synthese, Springer, Online November 2015.
Platone e la comprensione matematica in G. Lolli (a cura di), L'Arte di Pensare. Matematica e Filosofia, Utet, 2020, pp. 40-61.
Plato and the dice. A reassessment of Theaetetus 154a-155d The Cambridge Classical Journal, 58, Cambridge University Press, 2012, pp. 231-256.
Platone e la confutazione in R. Chiaradonna (ed.), Il Platonismo e le scienze, Carocci, Roma, 2012, pp. 25-43.