| Handbook of tableau methods M D'Agostino Kluwer Academic Publishers, 1999 | 410* | 1999 |
| The taming of the cut. Classical refutations with analytic cut MD AGOSTINO, M Mondadori Journal of Logic and Computation 4 (3), 285-318, 1994 | 284 | 1994 |
| Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence M d'Agostino Journal of Logic, Language and Information 1, 235-252, 1992 | 152 | 1992 |
| Tableau methods for classical propositional logic M d’Agostino Handbook of tableau methods, 45-123, 1999 | 121 | 1999 |
| The enduring scandal of deduction: Is propositional logic really uninformative? M D’agostino, L Floridi Synthese 167, 271-315, 2009 | 115 | 2009 |
| A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics M D'Agostino, DM Gabbay Journal of Automated Reasoning 13, 243-281, 1994 | 110 | 1994 |
| La metodologia dei programmi di ricerca scientifici I Lakatos, J Worrall, G Currie, G Giorello, M D'Agostino Il saggiatore, 1985 | 93 | 1985 |
| Investigations into the complexity of some propositional calculi M D'Agostino Oxford University. Computing Laboratory. Programming Research Group, 1990 | 87 | 1990 |
| What’s so special about Euclidean distance? M D’Agostino, V Dardanoni Social Choice and Welfare 33 (2), 211-233, 2009 | 85 | 2009 |
| The measurement of rank mobility M D'Agostino, V Dardanoni Journal of Economic Theory 144 (4), 1783-1803, 2009 | 83 | 2009 |
| Semantics and proof-theory of depth bounded Boolean logics M D’Agostino, M Finger, D Gabbay Theoretical Computer Science 480, 43-68, 2013 | 58 | 2013 |
| An informational view of classical logic M D'Agostino Theoretical Computer Science 606, 79-97, 2015 | 50 | 2015 |
| Analytic inference and the informational meaning of the logical operators M d'Agostino Logique et Analyse 227, 407-437, 2014 | 44 | 2014 |
| Labelled Deduction, volume 17 of Applied Logic Series D Basin, M D’Agostino, DM Gabbay, S Matthews, L Vigano Kluwer Academic Publishers, Dordrecht, 2000 | 44* | 2000 |
| Classical logic, argument and dialectic M D'Agostino, S Modgil Artificial Intelligence 262, 15-51, 2018 | 43 | 2018 |
| Grafting modalities onto substructural implication systems M D'agostino, DM Gabbay, A Russo Studia Logica 59, 65-102, 1997 | 34 | 1997 |
| Classical natural deduction M D’Agostino We will show them! 1, 429-468, 2005 | 33 | 2005 |
| La mente di Dio: il senso della nostra vita nell'universo P Davies, M D'Agostino, A Gulotta Mondadori, 1993 | 33 | 1993 |
| Introduction: The governance of algorithms M D’Agostino, M Durante Philosophy & Technology 31 (4), 499-505, 2018 | 32 | 2018 |
| Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction G Boniolo, M D'Agostino, PP Di Fiore PloS one 5 (3), e9511, 2010 | 31 | 2010 |
Dov GabbayBar Ilan Univ. Kings College London, Univ of Luxembourg在 ext.uni.lu 的电子邮件经过验证
