Here is a list of published and unpublished items for which I was able to find or generate a PDF image. The source of some files could no longer be found, so a graphic image had to be scanned and saved to PDF (hence the size of some files).
Click on the title to download. (Many of the links below are broken as a result of a move to a new server. I will restore them soon, but email me if you need of the papers below)

For a complete list of publications, see a recent vitæ: web version or PDF

  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). Warning: 1.3M pdf image! (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). Warning: 8.8M pdf image!
    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). Warning: 6.4M pdf image!
    5. What's in a Function?, Synthése, 107 (2), May 1996, pp. 167-204 (Math. Rev. 97k03053). Warning: 10M pdf image!
    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,
    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, to appear, The Journal of Philosophy (to appear).
    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 (to appear).
    27. A Note on Induction, Abstraction, and Dedekind-Finiteness, Notre Dame Journal of Formal Logic (to appear).

  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. 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.
  4. 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).

Document Actions