Here is a list of published and unpublished items for which I was able to find or generate a PDF image. Click on the title to download. This list is not complete: see my  current vitæ for a comprehensive and up-to-date list of publications. If you notice a broken link, please send a quick note to that effect using the “Contact” form on the right.

  1. Articles, book chapters, etc:
    1. The Complexity of Revision, Notre Dame Journal of Formal Logic, 35:1 (1994),pp. 67-72 (Math. Rev. 95d:03042); for a correction, see The Complexity of Revision, Revised, 1998 ms., The Notre Dame Journal of Formal Logic, vol 43, n. 2 (2002, published 2004) pp. 75-78.
    2. Non-Well-Founded Sets via Revision Rules, Journal of Philosophical Logic vol. 23 (1994), no. 6 pp. 633-679 (Math. Rev. 95k:03086).
    3. A Revision-Theoretic Analysis of the Arithmetical Hierarchy, Notre Dame  Journal of Formal Logic, 35:2 (1994), pp. 204-18 (Math. Rev. 96a:03059).
    4. (with Cristina Bicchieri) Game-Theoretic Axioms for Local Rationality and  Bounded Knowledge, Journal of Logic, Language and Information, 4 (1995), pp. 145-67 (Math. Rev. 96k:03038).
    5. What’s in a Function?, Synthése, 107 (2), May 1996, pp. 167-204 (Math. Rev. 97k03053).
    6. Defeasible Reasoning as a Cognitive Model, in The Parikh Project. Seven Papers in Honour of Rohit, Uppsala Prints and Preprints in Philosophy, 1996  number 18, Department of Philosophy, Uppsala University, pp. 1-13.
    7. Defeasible Inheritance on Cyclic Networks, Artificial Intelligence v. 92 (1997), pp. 1-23 (Math. Rev. 98a68170).
    8. Gödel, Penrose, e i fondamenti dell’intelligenza artificiale, Sistemi Intelligenti, vol. 9, n. 3, 1997, pp. 353-376.
    9. Extensional Quotients for Type Theory and the Consistency Problem for NF, Journal of Symbolic Logic, v. 63 n. 1, pp. 247-261, March 1998. (Math. Rev. 99j:03045).
    10. Conceptions and Paradoxes of Sets, Philosophia Mathematica, (3) Vol. 7  (1999), No. 2, pp.136-63 (Math. Rev. 2000c:00010).
    11. A Directly Cautious Theory of Defeasible Consequence for Default Logic via the  Notion of General Extensions, Artificial Intelligence v. 109, n. 1-2, pp. 71-109  (April 1999) (Math. Rev. 2000g:68141). .
    12. Free Set Algebras Satisfying Systems of Equations, The Journal of Symbolic  Logic, vol. 64, n.4 (1999), pp. 1656-1674 (Math. Rev. 1 780 077).
    13. Proto-semantics for Positive Free Logic, The Journal of Philosophical Logic,  vol. 29 n. 3 (2000), pp. 277-294 (Math. Rev. 2001h:03020); corrected version  here.
    14. Virtuous Circles. From Fixed Points to Revision Rules, in Anil Gupta and André  Chapuis (eds), Circularity, Definition, and Truth Indian Council of Philosophical Research, New Dehli, 2000, pp. 1-27.
    15. Non-Monotonic Logic, in E. Zalta (ed.), The Stanford Encyclopedia of Philosophy (, Spring 2001).
    16. (with Robert May), Frege’s New Science, Notre Dame Journal of Formal Logic,  vol. 41 no. 3 (2000, appeared 2002), pp. 242-270
    17. (with Richmond H. Thomason) Representability in Second-Order Propositional  Poly-Modal Logic, The Journal of Symbolic Logic, vol 67, n. 3 (Sept. 2002) pp.  1039-54.
    18. Logic, in Luciano Floridi (ed.), Blackwell Guide to the Philosophy of  Computing and Information, pp. 263-75, Blackwell, 2004.
    19. (With Robert May) Frege’s other program, Notre Dame Journal of Formal Logic  46(1), 2005, pp. 1-17.
    20. La logica del ragionamento plausibile, in L. Floridi (ed.) Linee di Ricerca, SWIF,  2004, pp. 226-52, ISSN 1126-4780, (previously at, link now obsolete)
    21. Non-Monotonic Logic, in D. Borchert (ed.), Encyclopedia of Philosophy  (second edition), MacMillan 2006.
    22. Free Quantification and Logical Invariance , in Andronico, Paternoster, Voltolini  (eds), Il significato eluso. Saggi in onore di Diego Marconi, special issue of  Rivista di estetica, vol. 33 (1) 2007, pp. 61-73.
    23. The  Nature and Purpose of Numbers, The Journal of Philosophy, vol. 107 (4), April 2010, pp. 191-212.
    24. Numerical Abstraction via the Frege Quantifier, Notre Dame Journal of Formal Logic ,vol. 51 no. 2 (2010).
    25.  Notions of Invariance for Abstraction Principles , Philosophia Mathematica, vol.  18 no. 3 (2010), pp. 276-92.
    26. (with Robert May) Quantifiers and Determiners , in G. Russell and D. Fara (eds)  The Routledge Companion to the Philosophy of Language, New York and London, 2012, pp. 342-354.
    27. A Note on Induction, Abstraction, and Dedekind-Finiteness, Notre Dame  Journal of Formal Logic, vol. 53, n. 2 (2012), pp. 187-92.
    28. On the General Interpretation of First-Order Quantifiers, Review of Symbolic Logic, vol. 6, no. 4 (2013), pp.  637-58,
    29. Life on the Range: Quine’s Thesis and Semantic Indeterminacy, to appear in A. Torza (ed.), Quantifiers, Quantifiers, and QuantifiersSynthese Library, Springer. 
  2. Book Reviews:
    1. Review of Dov M. Gabbay, C. J. Hogger, & J. A. Robinson (eds), “Handbook of  Logic in Artificial Intelligence and Logic Programming,” Vol. 3: “Nonmonotonic  Reasoning and Uncertain Reasoning” (Oxford UP, 1994, 552 pp.), The Bulletin  of Symbolic Logic vol. 6 n. 4 (2000), pp. 480-84.
    2. Review of R. Giere & A. Richardson (eds), “Origins of Logical Empricism”  Minnesota Studies in the Philosophy of Science, XVI, (University of Minnesota  Press, 1996, vii-392 pp.) Grazer Philosophische Studien, vol. 60, pp. 217-228.
    3. Review of Solomon Feferman, “In the Light of Logic” (Oxford UP, 1998, xii-340 pp.), The Bulletin of Symbolic Logic, vol. 7 no. 2 (June 2001), pp. 270-277.
    4. Review of C. Anthony Anderson and Michael Zelëny (eds), “Logic, Meaning, and Computation. Essays in Honor of Alonzo Church” (Kluwer Academic  Publishers, 2001, xiv-627 pp.), in History and Philosophy of Logic vol 25 no. 2  (May 2004), pp. 154-55.
  3. Lecture Notes:
    1. The Completeness of Classical Propositional and Predicate Logic.
    2. Classical Correspondence Theory for Basic Modal Logic.
  4. Presentation slides and other Miscellanea:
    1. From Philosophical Logic to Computer Science — and back again, slides from an  invited talk given at a special session on Philosophical Logic held at the  Logic Colloquium, Wroclaw, Poland, July 14-19, 2007.
    2. Infinito, scienza, paradosso , slides from a talk given at the Italian Cultural  Institute of Los Angeles, 31 October 2006.
    3. First order quantifiers , slides from a talk given at Berkeley, October 2003.
    4. Frege: fra estensionalismo e logicismo, slides from a talk given in Florence, May  2003.
    5. Logicism without Logic, slides from a talk given at the 2002 ASL meeting in Las  Vegas.
    6. Defeasible Reasoning for Intelligent Agents, slides from a talk given at the 2002  conference on “Logic and Games”, CUNY Graduate Center.
    7. Il teorema di Gödel e la filosofia della mente, unpublished ms., May 2000.
  5. Rescued from the depths of time:
    1. Revision Rules: an investigation into non-monotonic inductive definitions, PhD  Dissertation, University of Pittsburgh, 1992 (advisor: Nuel D. Belnap).

 Posted by at 15:14