Pubblicazioni

 

Accepted

[1]   2016. “The Philosophy of Mathematical Information”. In: Routledge Handbook of the Philosophy of Information. Ed. by L. Floridi. Routledge.

[2]   2015 (with D.M. Gabbay). Feasible Deduction for Realistic Agents. Vol. 1. London: College Publications.

Published

[3] 2015b. “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.

[4]   2015 (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.

[5]  2015a. “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.

[6]  2015 (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.

[7]   2015 (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.

[8]  2014a. “Analytic Inference and the Informational Meaning of the Logical Operators”. In: Logique et Analyse 227, pp. 407–437.

[9]  2014b. “Informational  Semantics, Non-deterministic Matrices and Feasible Deduction”. In: Electronic Notes in Theoretical Computer Science 305, pp. 35–52. url: http://dx.medra.org/10.1016/j.entcs.2014.06.004.

[10]  2014 (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.

[11]  2014 (with M. Piazza and G. Pulcini). “A  logical calculus for controlled monotonicity”.  In: Journal of Applied Logic 12, pp. 558–569. url: http://dx.medra.org/10.1016/j.jal.2014.08.001.

[12]   2013  (with  G. Boniolo, M.  Piazza and G. Pulcini).  “A  logic of non-monotonic interactions”. In: Journal of Applied Logic 11, pp. 52–62. url: http://dx.medra.org/10.1016/j.jal.2012.09.002.

[13]   2013a. “DEDUCTION”. In: Encyclopedia of Philosophy and the Social Sciences. Vol. 1. Los Angeles/London/New Deli: SAGE Publications, pp. 188–189.

[14]   2013b. “Depth-Bounded Logic for Realistic Agents”. In: Logic and Philosophy of Science XI, pp. 3–57.

[15]   2013c. “Semantic Information and the Trivialization  of Logic: Floridi on the Scandal of Deduction”.  In:  Information  4, pp. 33–59. url:  http://dx.medra.org/10.3390/info4010033.

[16]   2013 (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: http://dx.medra.org/doi:10.1016/j.tcs.2013.02.014.

[17]   2011 (with J. Pitt  and J. Schaumeier). “Modelling resource allocation in open embedded systems”. In: Logic and Philosophy of Science 9, pp. 1–15.

[18]   2010 (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.

[19]   2010 (with M. Carapezza). “Logic and the Myth of the Perfect Language”. In: Logic and Philosophy of Science 8, pp. 1–29.

[20]   2010. “Tractable Depth Bounded Logics and the Problem of Logical Omniscience”. In:  Probability,  Uncertainty  and Rationality.  Pisa: Edizioni della Scuola Normale Superiore, pp. 245–275.

[21]   2010  (with  C. Sinigaglia.). “Epistemic  accuracy and subjective  probability.” In:  EPSA Epistemology and Methodology of Science.  Madrid: Springer-Verlag, pp. 95–105.

[22]   2010 (with G. Giorello, et al.), eds. New Essays in Logic and Philosophy of Science. London: College Publications.

[23]  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.

[24]   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: http://dx.medra.org/10.1007/s00355-008-0353-5.

[25]   2009 (with  L. Floridi).  “The enduring scandal of deduction. Is propositional logic really uninformative?”  In: Synthese  167, pp. 271–315. url: http://dx.medra.org/10.1007/s11229-008-9409-4.

[26]   2008 (with  M. Finger and D.M. Gabbay). “Cut-Based Abduction”.  In:Logic Journal of the IGPL 16, pp. 537–560. url: http://dx.medra.org/10.1093/jigpal/jzn020.

[27]   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.

[28]   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.

[29]   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.

[30]   2005a. “Classical Natural Deduction”. In: We will show them! Essays in honour of Dov Gabbay. Vol. 1. London: College Pubblications, pp. 429–468.

[31]   2005b. “L’impatto di Turing sulla logica”. In: L’eredità di Alan Turing. 50 anni di intelligenza artificiale. Milano: Alboversorio, pp. 79–100.

[32]   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.

[33]   2003 (with V. Dardanoni and V. Peragine). “Libertà: un approccio statistico”. In: Filosofia e Questioni Pubbliche VIII, pp. 131–148.

[34]   2001 (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.

[35]   2001a (with G. Giorello and S. Veca), eds. Logica e Politica. Per Marco Mondadori. Milano: Il Saggiatore  e Fondazione  Mondadori.

[36]   2001b (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.

[37]   2000 (with D. Basin et al.), eds. Labelled Deduction. Berlin: Springer.

[38]   2000 (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.

[39]   1999 (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.

[40]   1999. “Handbook of Tableaux Methods”. In: Amsterdam: Kluwer Academic Publishers. Chap. ‘Tableau Methods for Classical Propositional Logics’, pp. 45–123.

[41]   1999 (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.

[42]   1999  (with  D.M.  Gabbay, R. Haehnle and J. Posegga).  Handbook of Tableaux Methods. Dordrecht: Kluwer Academic Publishers.

[43]   1999 (with M. Mondadori). “La logica è davvero analitica?” In: Studi in onore di Franco Crispini. Cosenza: Edizioni Brenner, pp. 283–306.

[44]   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.

[45]   1997 (with D.M. Gabbay and A. Russo). “Grafting  modalities onto substructural  implication  systems”. In: Studia Logica 59, pp. 65–102. url: http://dx.medra.org/10.1023/A:1004947400860.

[46]   1997 (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.

[48]   1996 (with D.M. Gabbay and A. Russo). “Information  Frames, Implication Systems and Modalities”. In: Mathware & Soft Computing 3, pp. 67–82.

[49]   1995 (with K. Broda and M. Mondadori). I sistemi logici di Karl Popper e l’insegnamento  della logica. Annali dell’Universit di Ferrara.

[50]   1995 (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.

[51]   1995 (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.

[52]   1995 (with  M. Mondadori). “Carnap e la verità logica”. In: L’eredità di Rudolf Carnap. Bologna: Clueb, pp. 347–355.

[53]   1994 (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.

[54]   1994 (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: http://dx.medra.org/10.1007/BF00881958.

[55]   1994a (with  M. Mondadori). “An  Improvement of Analytic  Tableaux”. In: Logica e Filosofia della Scienza, Problemi e Prospettive. Lucca: ETS, pp. 629–637.

[56]   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.

[57]   1994c (with  M. Mondadori). “The  Taming of the Cut. Classical Refutations with  Analytic  Cut”.  In:  Journal of Logic and Computation 4, pp. 285–319.

[58]   1993. “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.

[59]   1993 (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.

[60]   1993 (with M. Mondadori). “Il Dilemma dell’ATP”. In: Discipline Filosofiche 3, pp. 179–224.

[61]   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.

[62]   1992 (with  D.M. Gabbay). “Sistemi di refutazione indicizzati e logiche substrutturali”. In: Discipline Filosofiche 2, pp. 179–208.

[63]   1992a (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.

[64]   1992b (with M. Mondadori). “Deduzione analitica classica, complessità e significato degli operatori logici”. In: Semantica, complessità e linguaggio naturale. Bologna: Clueb, pp. 21–57.

[65]   1992 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: http://dx.medra.org/10.1007/BF00156916.

[66]   1991. “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.

[67]   1991 (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.

[68]   1990. Investigations into the Complexity of some Propositional calculi. Oxford: Oxford University Computing Laboratory, pp. 1–131.

[69]   1990 (with M. Mondadori). “Efficient Classical Refutations”. In: KLEENE ’90, the third logical biennal. Sofia: University of Sofia, pp. 10–11.

[70]   1989.  A  note on the relative complexity of proofs in  the propositional fragments of KE and KI.

[71]   1985. “Introduzione  all’edizione italiana”.  In: Scritti  Filosofici di Imre Lakatos, 2 voll. Milano: Il Saggiatore, pp. XIX–XLVII.

[72]   1984. “Leibniz e la geometria nascosta”. In: Epistemologia 7, pp. 4–32.


Link a IRIS-AIR