2019 (with D.M. Gabbay and S. Modgil). Normality, non-contamination and logical depth in classical natural deduction. To appear in Studia Logica.


  1. 2018a (with M. Durante). Introduction: the Governance of Algorithms. Philosophy and Technology. Published online: December 2018.
  2. 2018b (with S. Modgil). A Study of Argumentative Characterisations of Preferred Subtheories. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18), IJCAI, pp. 1788-1794 (Download published version.)
  3. 2018c (with S. Modgil). Classical Logic, Argument and Dialectic. Artificial Intelligence 262:15-51, 2018 (
  4. 2017 (with V. Dardanoni and R. Ghiselli Ricci). How to standardize (if you must). Scientometrics 113: 825-843, 2017.  (View read-only copy via Springer Nature SharedIt)
  5. 2016a (with T. Flaminio and H. Hosni). Rational Beliefs a Real Agent Can Have. In Proceedings of NIPS 2016. Journal of Machine Learning Research, 58:97-109, 2016. (Download published  version.)
  6. 2016b (with S. Modgil). A Rational Account of Classical Logic Argumentation for Real-world Agents”. In: Proceedings ECAI 2016 22nd European Conference on Artificial Intelligence. IOS Press, pp. 141-149. (Download published version.
  7. 2016c “La  logica nelle Scienze Economiche  e Sociali”. In: Le Direzioni della Ricerca Logica in Italia. Ed. by H. Hosni, G. Lolli, and C. Toffalori. Pisa: Edizioni della Scuola Normale, pp. 117-142.
  8. 2015a (with  G. Boniolo, M. Piazza and G. Pulcini).  “Adding  Logic to the toolbox of molecular biology”. In: European Journal for Philosophy of Science 5.3, pp. 399–417.
  9. 2015 “An  informational view of classical logic”. In: Theoretical Computer Science, 606, pp. 79-97.  doi: http://dx.doi. org/10.1016/j.tcs.2015.06.057.
  10. 2015b (with L. Floridi). “Towards a more realistic theory of semantic information”. In: Handbook of the 5th World Congress and School on Universal Logic. UNILOG 2015. Ed. by J-Y. Beziau and A. Buchsbaum. Extended Abstract. University of Istanbul, Turkey, pp. 221–227.
  11. 2015c (with H. Hosni and T. Flaminio). “Depth-bounded probability logic: a preliminary investigation”. In: Handbook of the 5th World Congress and School on Universal Logic. UNILOG  2015. Ed. by J-Y. Beziau and A. Buchsbaum. Extended Abstract. University of Istanbul, Turkey, pp. 234–235.
  12. 2014a. “Analytic Inference and the Informational Meaning of the Logical Operators”. In: Logique et Analyse 227, pp. 407–437.
  13. 2014b. “Informational  Semantics, Non-deterministic Matrices and Feasible Deduction”. In: Electronic Notes in Theoretical Computer Science 305, pp. 35–52. url:
  14. 2014c (with M. Carapezza). “La logica e il mito del linguaggio perfetto”. In: L’uso dei simboli dall’antichit`a al mondo contemporaneo. Pisa-Roma: Fabrizio Serra Editore, pp. 105–124.
  15. 2014d (with M. Piazza and G. Pulcini). “A  logical calculus for controlled monotonicity”.  In: Journal of Applied Logic 12, pp. 558–569. url:
  16. 2013a  (with  G. Boniolo, M.  Piazza and G. Pulcini).  “A  logic of non-monotonic interactions”. In: Journal of Applied Logic 11, pp. 52–62. url:
  17. 2013c. “DEDUCTION”. In: Encyclopedia of Philosophy and the Social Sciences. Vol. 1. Los Angeles/London/New Deli: SAGE Publications, pp. 188–189.
  18. 2013b. “Depth-Bounded Logic for Realistic Agents”. In: Logic and Philosophy of Science XI, pp. 3–57.
  19. 2013c. “Semantic Information and the Trivialization  of Logic: Floridi on the Scandal of Deduction”.  In:  Information  4, pp. 33–59. url:
  20. 2013d (with  M. Finger and D.M. Gabbay). “Semantics and proof-theory of depth-bounded Boolean logics”. In: Theoretical Computer Science 480, pp. 43–68. url:
  21. 2011 (with J. Pitt  and J. Schaumeier). “Modelling resource allocation in open embedded systems”. In: Logic and Philosophy of Science 9, pp. 1–15.
  22. 2010a (with  G. Boniolo and P. Di Fiore). “Zsyntax: A Formal Language for Molecular Biology with  Projected Applications in Text  Mining  and Biological Prediction”. In: Plos One 5, pp. 1–12. url: http://dx.medra. org/10.1371/journal.pone.0009511.
  23. 2010b (with M. Carapezza). “Logic and the Myth of the Perfect Language”. In: Logic and Philosophy of Science 8, pp. 1–29.
  24. 2010c “Tractable Depth Bounded Logics and the Problem of Logical Omniscience”. In:  Probability,  Uncertainty  and Rationality.  Pisa: Edizioni della Scuola Normale Superiore, pp. 245–275.
  25. 2010d  (with  C. Sinigaglia.). “Epistemic  accuracy and subjective  probability.” In:  EPSA Epistemology and Methodology of Science.  Madrid: Springer-Verlag, pp. 95–105.
  26. 2010e (with G. Giorello, et al.), eds. New Essays in Logic and Philosophy of Science. London: College Publications.
  27. 2009a (with V. Dardanoni). “The measurement of rank mobility”. In: Journal of Economic Theory 144, pp. 1783–1803. url: http://dx.medra. org/10.1016/j.jet2008.11.003.
  28. 2009b (with V. Dardanoni). “What’s so special about Euclidean distance? A characterization with applications to mobility  and spatial voting”.  In: Social Choice and Welfare 33, pp. 211–233. url:
  29. 2009c (with  L. Floridi).  “The enduring scandal of deduction. Is propositional logic really uninformative?”  In: Synthese  167, pp. 271–315. url:
  30. 2008 (with  M. Finger and D.M. Gabbay). “Cut-Based Abduction”.  In:Logic Journal of the IGPL 16, pp. 537–560. url:
  31. 2007 (with  G. Boniolo). “Towards a Formal Language for Biology”. In: First Conference of the European Philosophy of Science Association. Madrid: Universidad Complutense de Madrid, pp. 110–112.
  32. 2007 (with C. Sinigaglia). “Forecasting Accuracy and Subjective Probability”. In: First Conference of the European Philosophy of Science Association (EPSA07). Madrid: Universidad Complutense de Madrid, pp. 70–72.
  33. 2006 (with  K. Broda and M. Mondadori). “A  Solution to a Problem of Popper”. In: Popper Philosopher of Science. Soveria Mannelli: Rubbettino, pp. 147–168.
  34. 2005a. “Classical Natural Deduction”. In: We will show them! Essays in honour of Dov Gabbay. Vol. 1. London: College Pubblications, pp. 429–468.
  35. 2005b. “L’impatto di Turing sulla logica”. In: L’eredità di Alan Turing. 50 anni di intelligenza artificiale. Milano: Alboversorio, pp. 79–100.
  36. 2004 (with  V. Dardanoni and V. Peragine). “Libertà: aspetti teorici ed empirici”.  In: Diritti, regole, mercato. Economia pubblica  ed analisi eco- nomica del diritto.  Milano: Franco Angeli, pp. 13–40.
  37. 2003 (with V. Dardanoni and V. Peragine). “Libertà: un approccio statistico”. In: Filosofia e Questioni Pubbliche VIII, pp. 131–148.
  38. 2001a (with  D. Checchi and V. Dardanoni). “Measuring Ordinal Mobility: Theory and an Application to Italy.” In: Atti della Conferenza della Società  Italiana  di Economia Pubblica. Vol. II. Pavia: SIEP, pp. 1089–1114.
  39. 2001b (with G. Giorello and S. Veca), eds. Logica e Politica. Per Marco Mondadori. Milano: Il Saggiatore  e Fondazione  Mondadori.
  40. 2001c (with G. Giorello and S. Veca). “”Ragionare dobbiamo,  e spesso””. In: Logica e  Politica. Ed. by M. D’Agostino, G. Giorello, and S. Veca. Milan: Il Saggiatore, pp. 11–14.
  41. 2000a (with D. Basin et al.), eds. Labelled Deduction. Berlin: Springer.
  42. 2000b (with U. Endriss, et al.). “Un nuovo approccio alla meccanizzazione del ragionamento deduttivo”. In: L’uomo e la macchina. Trent’anni dopo. Proceedings of the conference held in Bari  24–26 October 1997. Bari: Laterza, pp. 309–339.
  43. 1999a (with K. Broda and A. Russo). “Transformation methods in LDS”. In: Logic, Language and Reasoning. Essays in Honour of Dov M. Gabbay. Dordrecht: Kluwer Academic Publishers, pp. 347–390.
  44. 1999b. “Handbook of Tableaux Methods”. In: Amsterdam: Kluwer Academic Publishers. Chap. ‘Tableau Methods for Classical Propositional Logics’, pp. 45–123.
  45. 1999c (with D.M. Gabbay and K. Broda). “Handbook of Tableaux Methods”. In: Amsterdam: Kluwer Academic Publishers. Chap. ‘Tableaux meth- ods for substructural logics’, pp. 397–467.
  46. 1999d  (with  D.M.  Gabbay, R. Haehnle and J. Posegga).  Handbook of Tableaux Methods. Dordrecht: Kluwer Academic Publishers.
  47. 1999e (with M. Mondadori). “La logica è davvero analitica?” In: Studi in onore di Franco Crispini. Cosenza: Edizioni Brenner, pp. 283–306.
  48. 1998 (with  U. Endriss, et  al.). “WinKE: A Pedagogic Tool for Teaching Logic and Reasoning”. In: Intelligent Tutoring Systems. San Antonio, Texas: Springer, pp. 605–605.
  49. 1997a (with D.M. Gabbay and A. Russo). “Grafting  modalities onto substructural  implication  systems”. In: Studia Logica 59, pp. 65–102. url:
  50. 1997b (with M. Mondadori). Logica. Milano: Edizioni Bruno Mondadori. [47]   1996 (with  D.M. Gabbay). “Fibred  Tableaux for multi-implication  logics”. In: Lecture Notes in Artificial Intelligence, 1071. Berlin: Springer, pp. 16–35.
  51. 1996 (with D.M. Gabbay and A. Russo). “Information  Frames, Implication Systems and Modalities”. In: Mathware & Soft Computing 3, pp. 67–82.
  52. 1995a (with K. Broda and M. Mondadori). I sistemi logici di Karl Popper e l’insegnamento  della logica. Annali dell’Universit di Ferrara.
  53. 1995b (with K. Broda and D’Agostino M. And R. Gor´e), eds. Special issue of the Journal of IGPL on Theorem Proving with Analytic Tableaxu and Related Methods. Oxford: Oxford University Press.
  54. 1995c (with D.M. Gabbay and A. Russo). “Labelled analytic deduction for Normal Modal Logics”. In: LMPS95-10th International Congress of Logic, Methodology and Philosophy of Science. Firenze: Universit`a  di Firenze, pp. 8–9.
  55. 1995d (with  M. Mondadori). “Carnap e la verità logica”. In: L’eredità di Rudolf Carnap. Bologna: Clueb, pp. 347–355.
  56. 1994a (with K. Broda). “Finding proofs in substructural logics”. In: Proof theory, Linear Logic and Categorial Grammar. Roma: Università di Roma “La Sapienza”, pp. 35–36.
  57. 1994b (with  D.M. Gabbay). “A  generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics”. In: Journal of Automated Reasoning 13, pp. 243–281. url:
  58. 1994a (with  M. Mondadori). “An  Improvement of Analytic  Tableaux”. In: Logica e Filosofia della Scienza, Problemi e Prospettive. Lucca: ETS, pp. 629–637.
  59. 1994b (with  M. Mondadori). “Classical logic as the limit  of a sequence of cut-bounded  feasible logics”. In:  Logic Colloquium 1994. Clermont- Ferrand: Université de Clermont-Ferrand, pp. 18–18.
  60. 1994c (with  M. Mondadori). “The  Taming of the Cut. Classical Refutations with  Analytic  Cut”.  In:  Journal of Logic and Computation 4, pp. 285–319.
  61. 1993a “The  complexity of proof search with analytic tableaux and related systems”. In: Second Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Marseille: University of Marseille, pp. 10–15.
  62. 1993b (with D.M. Gabbay). “Labelled Refutation Systems. A Case Study”. In: Second  Workshop on Theorem Proving with Analytic  Tableaux and Related Methods. Marseille: University of Marseille, pp. 1–5.
  63. 1993c (with M. Mondadori). “Il Dilemma dell’ATP”. In: Discipline Filosofiche 3, pp. 179–224.
  64. 1992 (with J. Cunningham and J. Pitt).  “Towards theorem proving with analytic cut”. In: First Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Lautenbach: University of Karlsruhe, pp. 1–5.
  65. 1992a (with  D.M. Gabbay). “Sistemi di refutazione indicizzati e logiche substrutturali”. In: Discipline Filosofiche 2, pp. 179–208.
  66. 1992b (with M. Mondadori). “An Improvement of Analytic Tableaux”. In: First Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Lautenbach: University of Karlsruhe, pp. 6–10.
  67. 1992c (with M. Mondadori). “Deduzione analitica classica, complessità e significato degli operatori logici”. In: Semantica, complessità e linguaggio naturale. Bologna: Clueb, pp. 21–57.
  68. 1992d D’Agostino M. “Are Tableaux an improvement on truth-tables? Cut- free proofs and bivalence”. In: Journal of Logic, Language and Information 1, pp. 235–252. url:
  69. 1991a “Proper derived rules and the relative complexity of formal proofs”. In: Nuovi Problemi della Logica e della Filosofia della Scienza. Viareggio: Clueb, pp. 275–282.
  70. 1991b (with M. Mondadori). “Classical Analytic Deduction and Complexity”. In: LMPS91. 9th International Congress of Logic, Methodology and Philosophy of Science. Uppsala: University of Uppsala, pp. 20–21.
  71. 1990aInvestigations into the Complexity of some Propositional calculi. Oxford: Oxford University Computing Laboratory, pp. 1–131.
  72. 1990b (with M. Mondadori). “Efficient Classical Refutations”. In: KLEENE ’90, the third logical biennal. Sofia: University of Sofia, pp. 10–11.
  73. 1989  A  note on the relative complexity of proofs in  the propositional fragments of KE and KI.
  74. 1985 “Introduzione  all’edizione italiana”.  In: Scritti  Filosofici di Imre Lakatos, 2 voll. Milano: Il Saggiatore, pp. XIX–XLVII.
  75. 1984 “Leibniz e la geometria nascosta”. In: Epistemologia 7, pp. 4–32.