 | 2009 |
| 13 |  | Marcello D'Agostino,
Valentino Dardanoni:
The measurement of rank mobility.
J. Economic Theory 144(4): 1783-1803 (2009) |
| 12 |  | Marcello D'Agostino,
Valentino Dardanoni:
What's so special about Euclidean distance? - A characterization with applications to mobility and spatial voting.
Social Choice and Welfare 33(2): 211-233 (2009) |
| 11 |  | Marcello D'Agostino,
Luciano Floridi:
The enduring scandal of deduction.
Synthese 167(2): 271-315 (2009) |
| 2008 |
| 10 |  | Marcello D'Agostino,
Marcelo Finger,
Dov M. Gabbay:
Cut-Based Abduction.
Logic Journal of the IGPL 16(6): 537-560 (2008) |
| 2005 |
| 9 |  | Marcello D'Agostino:
Classical Natural Deduction.
We Will Show Them! (1) 2005: 429-468 |
| 1998 |
| 8 |  | Marcello D'Agostino,
Marco Mondadori,
Ulrich Endriss,
Dov M. Gabbay,
Jeremy Pitt:
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.
Intelligent Tutoring Systems 1998: 605 |
| 1997 |
| 7 |  | Marcello D'Agostino,
Dov M. Gabbay,
Alessandra Russo:
Grafting Modalities onto Substructural Implication Systems.
Studia Logica 59(1): 65-102 (1997) |
| 1996 |
| 6 |  | Marcello D'Agostino,
Dov M. Gabbay:
Fibred Tableaux for Multi-Implication Logic.
TABLEAUX 1996: 16-35 |
| 1995 |
| 5 |  | Krysia Broda,
Marcello D'Agostino,
Rajeev Goré,
Rob Johnson,
Steve Reeves:
Editorial.
Logic Journal of the IGPL 3(6): 826 (1995) |
| 1994 |
| 4 |  | Marcello D'Agostino,
Dov M. Gabbay:
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics.
J. Autom. Reasoning 13(2): 243-281 (1994) |
| 3 |  | Marcello D'Agostino,
Marco Mondadori:
The Taming of the Cut. Classical Refutations with Analytic Cut.
J. Log. Comput. 4(3): 285-319 (1994) |
| 1992 |
| 2 |  | Marcello D'Agostino,
Marco Mondadori:
An Improvement of Analytic Tableaux.
TABLEAUX 1992: 1-3 |
| 1 |  | Jim Cunningham,
Marcello D'Agostino,
Jeremy V. Pitt:
Towards Tableau Theorem-Proving with Analytic Cut.
TABLEAUX 1992: 23-25 |