# Curriculum Vitae

*Personal:*

- Born in Torino, Italy, 1962.
- Dual citizen of the United States and Italy.

*Affiliations:*

- Department of Philosophy, University of California, Davis;
- Professional societies: Association for Symbolic Logic; American Philosophical Association, Philosophy of Mathematics Association, Society for Exact Philosophy.

*Education:*

- PhD in Philosophy, University of Pittsburgh, 1992. Dissertation Title:
*Revision Rules: An Investigation into Non-Monotonic Inductive Definitions*. Director: Prof. Nuel D. Belnap. - Laurea in Filosofia (cum laude), Università di Torino, 1986. Thesis in Philosophy of Language; Director: Prof. Diego Marconi.

*Areas of expertise:*

- Primary areas of specialization: Logic and Applications; Defeasible Reasoning and Knowledge Representation; Philosophy of Mathematics; Philosophy of Logic; Philosophy of Language; Early Analytic Philosophy.
- Other interests: Philosophy of Science; Philosophy of Mind; History of Modern Philosophy.

*Employment:*

- University of California, Davis, Professor, 2008 to present.
- University of California, Irvine, Professor, 2004–2008.
- University of California Education Abroad Program, Director of the Rome/Siena Study Center, 2004-2006.
- University of California, Irvine, Associate Professor, 2000-2004.
- University of California, Irvine, Assistant Professor, 1998-2000.
- Michigan State University, Assistant Professor, 1997-1998.
- Stanford University, Acting Assistant Professor, 1996-1997.
- Yale University, Lecturer, 1993-1996.
- University of Pittsburgh, Visiting Lecturer, 1992-1993.
- University of Connecticut at Stamford, adjunct faculty, 1991-1992.
- Olivetti Corporate Research, Speech Processing Laboratory, Torino, Italy, 1986-87.

*Honors:*

- Rotary International Scholarship, 1987-88;
- Fulbright Fellowship, 1987-88 (declined);
- Alan Ross Anderson Fellow, University of Pittsburgh, 1988-89;
- Who’s Who in America, 2001–.
- Who’s Who in American Education, 2007–.

*Editorial responsibilities:*

- Coordinating Editor,
*Journal of Philosophical Logic*, 2004-2008. - Founding Coordinating Editor,
*Review of Symbolic Logic*, 2007-2010. - Co-editor for “Mathematical Logic”,
*Stanford Encyclopedia of Philosophy*(ongoing). - Editorial Board member,
*Notre Dame Journal of Formal Logic*(ongoing). - Editorial Board member,
*Trends in Logic*, Studia Logica Library (ongoing).

*Service:*

*University Service*:- Davis division of the Academic Senate: Faculty Welfare Committee member, 2013–.
- Irvine Representative to the Universitywide Assembly of the Academic Senate, 2007-08.
- UC Irvine School of Social Sciences, Executive Committee: member, 2001-02; acting chair, 2002-03.
- Irvine division of the Academic Senate: member of the Committee on Research, Computing, and Library Resources, Fall 2003.
- Irvine division of the Academic Senate: School of Social Sciences representative (faculty chair), 2002-03.

*American Philosophical Association*:- Member of the Committee on International Cooperation, 2006-09.
- Member of the Advisory Committee to the Program Committee of the Eastern Divison of the APA, 2005-08.

*Association for Symbolic Logic*:- Member of the Program Committee for the 2010-11 Spring meeting, (San Diego, April 20-23, 2011).
- Chair of the local organizing committee for the 2008 Annual Meeting, Irvine, CA, March 27-30, 2008.
- Council Member (ex officio) 2004-07, 2007-10.
- Member of the Oversight Committee for the Journal of Philosophical Logic, 2001-03.

*Other*:- Program advisor for the 14th International Congress of Logic, Methodology and Philosophy of Science (Nancy, France, July 19-26, 2011).
- Referee for publishing houses, including: Cambridge University Press; Columbia University Press; Kluwer Academic Publishers; AK Peters Ltd.; Oxford University Press; Princeton University Press; World Scientific Publisher.
- Referee for peer review journals, including: Artificial Intelligence; Australasian Journal of Philosophy; Dialectica; Bulletin of the Belgian Mathematical Society; Journal of Philosophical Logic; Erkenntnis; Journal of Logic and Computation; Journal of Symbolic Logic; Monist; Notre Dame Journal of Formal Logic; Philosophia Mathematica; Philosophy of Science; Review of Symbolic Logic; Studia Logica; Topoi.
- Referee for funding agencies: NSF Panel (October 2000); US Civilian Research and Development Foundation (July 2002); Fonds zur Förderung der wissentschaftlichen Forschung (FWF, Austria; December 2002).

*PhD dissertations supervised:*

- Curtis Franks, UC Irvine, 2006. Dissertation title:
*Mathematics Speaks for Itself*. - Eric Updike, UC Irvine, 2010. Dissertation title:
*Paradise Regained: Fitch’s Program of Basic Logic.* - Lucas Halpin, UC Davis, 2011. Dissertation title:
*Meta-Philosophy: Contra-Quine*. - Ted Shear, UC Davis, 2015 (projected). Dissertation title: TBD.

*Publications and other work:*

- Book:
*Grounded Consequence for Defeasible Logic*, Cambridge University Press (2005), xii-118 pp. (ISBN 0521842050, ISBN13 9780521842051). - Publications in peer review journals:
- The Complexity of Revision,
*Notre Dame Journal of Formal Logic*, 35:1 (1994), pp. 67-72 (Math. Rev. 95d:03042). - Non-Well-Founded Sets via Revision Rules,
*Journal of Philosophical Logic*vol. 23 (1994), no. 6 pp. 633-679 (Math. Rev. 95k:03086). - A Revision-Theoretic Analysis of the Arithmetical Hierarchy,
*Notre Dame Journal of Formal Logic*, 35:2 (1994), pp. 204-18 (Math. Rev. 96a:03059). - (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). - What’s in a Function?,
*Synthèse*, 107 (2), May 1996, pp. 167-204 (Math. Rev. 97k03053). - Defeasible Inheritance on Cyclic Networks,
*Artificial Intelligence*v. 92 (1997), pp. 1-23 (Math. Rev. 98a68170). - Gödel, Penrose, e i fondamenti dell’intelligenza artificiale,
*Sistemi Intelligenti*, vol. 9, n. 3, 1997, pp. 353-376. - 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). - Conceptions and Paradoxes of Sets,
*Philosophia Mathematica*, (3) Vol. 7 (1999), No. 2, pp.136-63 (Math. Rev. 2000c:00010). - 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). . - 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). - Proto-semantics for Positive Free Logic,
*The Journal of Philosophical Logic*, vol. 29 n. 3, 2000, pp. 277-294 (Math. Rev. 2001h:03020).- Expanded and corrected version to appear as “A bivalent extensional semantics for positive free logic” in Karel Lambert,
*Reflections on Free Logics*, Ontos Verlag, Frankfurt and Lancaster, to appear.

- Expanded and corrected version to appear as “A bivalent extensional semantics for positive free logic” in Karel Lambert,
- (with Richmond H. Thomason) Representability in Second-Order Propositional Poly-Modal Logic,
*The Journal of Symbolic Logic*vol 67, no. 3 (Sept 2002), pp. 1039-54. - The Complexity of Revision, Revised,
*Notre Dame Journal of Formal Logic*, vol 43, n. 2 (2002, published 2004) pp. 75-78 (Math. Rev. MR203317, 2004k:03054). - (with Robert May), Frege’s Other Program,
*Notre Dame Journal of Formal Logic*, 46(2005), no. 1, pp. 1-17 (Math. Rev. MR2131544, 2005k:03006). - Numerical Abstraction via the Frege Quantifier,
*Notre Dame Journal of Formal Logic*, vol. 51 no. 2 (2010), pp. 161-79. - The Nature and Purpose of Numbers,
*The Journal of Philosophy*, vol. 107 (4), April 2010, pp. 191-212. - Notions of Invariance for Abstraction Principles,
*Philosophia Mathematica*, vol. 18 no. 3 (2010), pp. 276-92. - A Note on Induction, Abstraction, and Dedekind-Finiteness,
*Notre Dame Journal of Formal Logic*, vol. 53, n. 2 (2012), pp. 187-92. - On the General Interpretation of First-Order Quantifiers,
*Review of Symbolic Logic*, vol. 6, no. 4 (2013), pp. 637-58 (published online 25 October 2013).

- The Complexity of Revision,
- Other refereed work:
- (with Cristina Bicchieri) Backwards Forward Induction, in R. Fagin (ed.),
*Theoretical Aspects of Reasoning about Knowledge. Proceedings of the Fifth Conference (TARK 94)*, Morgan Kauffman, San Francisco, 1994, pp. 24-43. - (with Cristina Bicchieri and Eithan Ephrati) Games Servers Play: A Procedural Approach, in M. Wooldridge, J. Möller, & M. Tambe (eds),
*Intelligent Agents II, Proceedings of the Second IJCAI Workshop on Agent Theories, Architectures, and Languages (ATAL-95)*, Lecture Notes in Artificial Intelligence, 1037, Springer Verlag, Berlin 1996, pp. 127-42. - Non-Monotonic Logic, in E. Zalta (ed.),
*The Stanford Encyclopedia of Philosophy*(http://plato.stanford.edu), 2001, 2006, 2010.- Fall 2014 revision co-authored with Christian Straßer (first author).

- (with Cristina Bicchieri) Backwards Forward Induction, in R. Fagin (ed.),
- Invited papers and book chapters:
- 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. - 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. - (with Robert May), Frege’s New Science,
*Notre Dame Journal of Formal Logic*, vol. 41 no. 3 (2000, appeared 2002), pp. 242-270.- Reprinted in M. Beaney and E. Reck (eds),
*Gottlob Frege. Critical Assessments by Leading Philosophers*, vol. II, “Frege’s Philosophy of Logic,” Routledge, New York and London, 2005, pp. 156-89.

- Reprinted in M. Beaney and E. Reck (eds),
- Logic, in Luciano Floridi (ed.),
*The Blackwell Guide to the Philosophy of Computing and Information*, Blackwell, 2004, pp. 263-75. - La logica del ragionamento plausibile, in L. Floridi (ed.)
*Linee di Ricerca*, SWIF, 2003, ISSN 1126-4780, http://www.swif.it/biblioteca/lr, 2004. - Free Quantification and Logical Invariance, in M. Andronico, A. Paternoster, and A. Voltolini (eds),
*Il significato eluso. Saggi in onore di Diego Marconi*, special issue of*Rivista di estetica*, vol. 33 (1) 2007, pp. 61-73. - (with Robert May) Quantifiers and Determiners, in G. Russell and D. Fara (eds),
*The Routledge Companion to the Philosophy of Language*, Routledge, 2012, pp. 342–354. - (with Robert May) A Note on Order, in T. Graf, D. Paperno, A. Szabolcsi, J. Tellings (eds),
*Theories of Everything: in honor of Ed Keenan*, UCLA Working Papers in Linguistics, vol. 17 (2012). - Life on the Range: Quine’s Thesis and Semantic Indeterminacy, to appear in A. Torza (ed.),
*Quantifiers, Quantifiers, and Quantifiers*, Synthese Library: Studies in Epistemology, Logic, Methodology, and Philosophy of Science, Springer. - Interrogative Inquiry as Defeasible Reasoning, to appear in C. Başkent (ed.),
*Perspectives on Interrogative Models of Inquiry — Developments in Inquiry and Questions*, Springer.

- Defeasible Reasoning as a Cognitive Model, in
- Edited works:
- Special issue of
*Topoi*on “Mathematical Philosophy”, vol. 20(1) 2001, (“Introduction”, pp. 1-3). - (with Alasdair Urquhart and Richard Zach) special issue of the
*Review of Symbolic Logic*(vol. 1, no. 2, 2008) on “Mathematical applications in Philosophy”, proceedings of a workshop at BIRS, Banff International Research Station for Mathematical Innovation and Discovery.

- Special issue of
- Miscellaneous:
- Italian translation of 10 papers in R. Viale (ed.),
*Mente umana, Mente artificiale*(“Human Mind, Artificial Mind”), Feltrinelli, Milan 1989. - (with Cristina Bicchieri) Forward Induction,
*Technical Report CMU-PHIL-58*, Dept. of Philosophy, Carnegie Mellon University, April 1994. - Definition,
*The Routledge Encyclopedia of Philosophy*, London and New York, 1998. - Non-Monotonic Logic, in D.M. Borchert (ed.),
*Encyclopedia of Philosophy*, 2nd edition, Macmillan Reference USA, Detroit 2000.

- Italian translation of 10 papers in R. Viale (ed.),
- Book Reviews:
- Review of Robert C. Koons’s “Paradoxes of Belief and Strategic Rationality” (Cambridge UP, 1992),
*Economics and Philosophy*, 9 (1993), pp. 305-13. - Review of Keith Simmons’s “Universality and the Liar. An Essay on Truth and the Diagonal Argument” (Cambridge UP, 1993),
*Notre Dame Journal of Formal Logic*, 37:1 (Winter 1996), pp. 152-59. - 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. - Review of R. Giere & A. Richardson (eds), “Origins of Logical Empiricism” Minnesota Studies in the Philosophy of Science, XVI, (University of Minnesota Press, 1996, vii-392 pp.)
*Grazer Philosophische Studien*, vol. 60, pp. 217-228. - 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.
- Review of C. Anthony Anderson and Michael Zelëny (eds), “Logic, Meaning, and Computation. Essays in memory of Alonzo Church” (Synthése Library vol. 305, Dordrecht, Boston, and London: Kluwer Academic Publishers, 2001, xiv-627pp.),
*History and Philosophy of Logic*, vol 25 no. 2 (May 2004), pp. 154-55. - Review of N. Rescher and P. Grim, “Beyond Sets. A venture in Collection-Theoretic Revisionism,” (Ontos Verlag 2011, 112 pp.),
*Notre Dame Philosophical Reviews*, 3 July 2011. - Review of R.G. Heck, “Frege’s Theorem,” (Clarendon Press, Oxford, 2011, xiv-307 pp.),
*International Studies in the Philosophy of Science*, vol. 26, no. 2, June 2012, pp. 219–22. - Review of A. Gupta, “Truth, Meaning, Experience,” (Oxford University Press, 2012, xi-270 pp.),
*Notre Dame Philosophical Reviews*, 1 September 2012. - Review of P. Blanchette, “Frege’s Conception of Logic,” (Oxford University Press, 2012, xv-190 pp.),
*Bulletin of Symbolic Logic*, vol. 19 (2), pp. 219–22.

- Review of Robert C. Koons’s “Paradoxes of Belief and Strategic Rationality” (Cambridge UP, 1992),
- Abstracts:
- Non-Well-Founded Sets via Revision Rules,
*Journal of Symbolic Logic*, 58 (1993), p. 371. - A Revision-Theoretic Analysis of the Arithmetical Hierarchy,
*Journal of Symbolic Logic*, 59 (1994), pp. 696-97. - Extensional Quotients for Type Theory,
*Bulletin of Symbolic Logic*2 (1996), p. 451. - The Mathematics of Defeasible Reasoning: Skepticism Vindicated,
*Bulletin of Symbolic Logic*4 (1998), pp. 210-11. - Free Set Algebras Satisfying Systems of Equations,
*Bulletin of Symbolic Logic*vol. 5 n. 4 (1999), p. 479. - (with Richmond H. Thomason) Representability in second-order propositional S5,
*Bulletin of Symbolic Logic*vol. 7 n. 3 (2001), p. 398-99. - Teaching Logic with LPL,
*Bulletin of Symbolic Logic*vol. 9 n. 1 (2003), p. 55. - Logicism Without Logic,
*Bulletin of Symbolic Logic*vol. 9 n. 1 (2003), p. 59-60.

- Non-Well-Founded Sets via Revision Rules,

**Selected Talks (more recent first):**

- General First-Order Models: Concepts and Results, Group in Logic and the Methodology of Science, Dept. of Mathematics, University of California, Berkeley, march 14, 2014.
- Interrogative Inquiry as Defeasible Reasoning, “Logic, Questions and Inquiry: A conference on Hintikka’s Interrogative Model of Inquiry” (LoQI), Institut d’histoire et de philosophie des sciences et des techniques (IHPST), Paris, May 30–June 1, 2013.
- On the General Interpretation of First-Order Quantifiers, Third SoCal Philosophy of Math Workshop, UCLA, April 20, 2013.
- Henkin Semantics for First-Order Logic, Dept. of Logic & Philosophy of Science, University of California, Irvine, Jan 10, 2013.
- On the General Interpretation of First-Order Quantifiers, Thirteenth Midwest Philosophy of Mathematics Workshop (MWPMW13), University of Notre Dame, October 27, 2012.
- Home on the Range: Where Semantics and Ontology Play, Dept. of Philosophy, University of Calgary, October 4, 2012.
- Life on the Range: First-Order Quantifiers, Second-Order Domains, and Ontological Commitment, Faculty of Philosophy, University of Oxford, April 2, 2012.
- The Abstraction Mystique, Conference on Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments, Birkbeck (University of London), August 5-6, 2011.
- Arithmetic, Abstraction, and the Frege Quantifier, invited plenary address to the North-American annual meeting of the Association of Symbolic Logic, University of California, Berkeley, March 24-27, 2011.
- Life on the Range. First-Order Quantifiers and Second-Order Domains, Dept. of Philosophy, University of California, Santa Barbara, February 4, 2011.
- The Abstraction Mystique, Group in Logic and the Methodology of Science, University of California, Berkeley, November 12, 2010.
- Non-reductive logicism and the nature of abstraction, Logic and Language Conference, Northern Institute of Philosophy, University of Aberdeen, September 26, 2010.
- Non-reductive logicism and the nature of abstraction, Dept. of Mathematics, University of Leeds, September 22, 2010.
- The Nature of Abstraction, Third UCI “FregeFest,” Dept. of Logic and Philosophy of Science, University of California, Irvine, February 26, 2010.
- Deflationary Abstraction and the Frege Quantifier, Stanford University, May 1, 2009.
- Free Quantification and Logical Invariance, “Logic Mini-Conference” Dept. of Philosophy, University of Calgary, March 27-28, 2009.
- Deflationary Abstraction and the Frege Quantifier, Dept. of Philosophy, University of Notre Dame, January 23, 2009.
- First-Order Arithmetic, “IF”, 3rd Irvine-Florence Colloqium in Logic and Philosophy of Science, Dip. di filosofia, Università di Firenze, Sept 19, 2008.
- Abstraction Principles in First-Order Arithmetic, Logic Colloquium, Dept. of Mathematics, University of California, Los Angeles May 16, 2008.
- Logicism, Quantifiers, and Abstraction, Dept. of Philosophy, University of California, Davis, February 6, 2008.
- From Philosophical Logic to Computer Science — and back again (invited lecture at a special session on philosophical logic), Logic Colloquium 2007, WrocÅaw, Poland, July 15, 2007.
- Three lectures on defeasible reasoning: Varieties of non-monotonic logics (May 14, 2007); Inheritance networks: strict, defeasible, cyclic (May 15, 2007); General default reasoning (May 17, 2007), Classe di Lettere e Filosofia, Scuola Normale Superiore, Pisa.
- Free Quantification and Logical Invariance, “IF”, 2nd Irvine-Florence Colloqium in Logic and Philosophy of Science, Beckman Center of the National Academies (Irvine, CA), March 23, 2007.
- Free Quantification and Logical Invariance, Dept. of Philosophy, Oxford University, November 22, 2006.
- Free Quantification and Logical Invariance, Dept. of Philosophy, University of Bristol, November 21, 2006.
- La formalizzazione del ragionamento plausibile, Classe di Lettere e Filosofia, Scuola Normale Superiore, Pisa, May 30, 2006.
- First-order numerical abstraction, “IF,” 1st Irvine-Florence Colloquium in Logic & Philosophy of Science, Dip. di filosofia, Università di Firenze, March 31, 2006.
- First-order numerical abstraction, LMS “CAMeLEoN” meeting, Dept. of Mathematics, Cambridge University, May 26, 2005.
- La logica del ragionamento plausibile , Dip. di filosofia, Università di Firenze, March 4 and 11, 2005 (parts I and II).
- There are no more A’s than B’s — and other non-standard quantifiers, Dept. of Mathematics, University of Bristol, January 7, 2005.
- First Order Quantifiers, History and Philosophy of Logic and Mathematics Colloquium, University of California, Berkeley, Oct. 22, 2003; and Logic Colloquium, University of California, Los Angeles, May 7, 2004.
- Frege: fra estensionalismo e logicismo, Dip. di studi umanistici, Università del Piemonte orientale “Amedeo Avogadro” (May 27, 2003); and Dip. di filosofia, Università di Firenze (May 29, 2003).
- Defeasible Reasoning for Intelligent Agents, Conference on “Logic and Games”, City University and Graduate Center, New York, June 14-15, 2002.
- Teaching Logic with LPL, 2002 annual meeting of the Association for Symbolic Logic, Las Vegas, June 1-4, 2002 (special session on logic education).
- Logicism without Logic (joint work with Robert May), 2002 annual meeting of the Association for Symbolic Logic, Las Vegas, June 1-4, 2002 (special session on the philosophy of mathematics).
- Frege’s New Science (joint work with Robert May), Notre Dame symposium on “Logicism and Paradoxes”, Notre Dame, March 29-31, 2001.
- The Second-Order Propositional Theory of Two S5 Modalities (joint work with Richmond Thomason), UCLA Logic Colloquium, Dept of Mathematics, University of California, Los Angeles, March 2, 2001.
- A Language for Common Knowledge (joint work with Richmond Thomason), given at the NSF/CNR workshop on “Logic and Strategy of Distributed Agents”, Trento (Italy), Dec. 14-19, 2000 (co-sponsored by the National Science Foundation and the Italian National Research Council).
- Le implicazioni del teorema di Gödel per la filosofia della mente, Parts I and II (Implications of Gödel’s theorem for the philosophy of Mind, I and II), Università di Siena, May 24 and 25, 2000.
- Free Set Algebras Satisfying Systems of Equation, Logic Lunch Colloquium Series, Dept of Mathematics, Stanford University, April 2, 1999.
- Motivating the Axioms, History and Philosophy of Logic and Mathematics Colloquium, University of California, Berkeley, March 31, 1999.
- Free Set Algebras Satisfying Systems of Equation, UCLA Logic Colloquium, Dept of Mathematics, University of California, Los Angeles, March 5, 1999.
- Quozienti estensionali e algebre di insiemi (Extensional Quotients and Set Algebras), Dipartimento di Filosofia, Università di Firenze, Florence, December 5, 1998.
- The Mathematics of Defeasible Reasoning: Skepticism Vindicated, joint ASL-APA Meeting, Los Angeles, March 28, 1998.
- A Room with a View: Set algebras as a vantage point on set theory, Department of Philosophy, University of California, Irvine, January 23, 1998.
- Cautious Consequence for Default Logic, Logic Colloqium, Dept. of Mathematics, University of California, Los Angeles, February 28, 1997.
- Cautious Consequence for Default Logic, Dept. of Philosophy, Carnegie Mellon University, Pittsburgh, February 21 1997.
- Defeasible Consequence, Department of Philosophy, University of California, Irvine, January 27, 1997.
- General Extensions for Default Logic, Seminar in Applications of Logic, CUNY Graduate Center, March 19, 1996; and Logic Colloquium, Group in Logic and the Methodology of Science, University of California, Berkeley, November 8, 1996.
- Boolos sulla quantificazione plurale e la logica del secondo ordine (Boolos on Plural Quantification and Second-Order Logic), Seminari episodici di Semantica e Intelligenza Artificiale, Dipartimento di Informatica, Università di Torino, May 26, 1995.
- Zermelo, Russell, Quine, and the Set-Theoretic Paradoxes, Dept. of Philosophy, Yale University, March 23, 1995.
- An Axiomatic Approach to Bounded Knowledge and Local Rationality in Game Theory, Seminar in Applications of Logic, CUNY Graduate Center, April 15, 1994.
- Problemi di rappresentazione della conoscenza: tassonomie con eccezioni (Problems in Knowledge Representation: Taxonomies with Exceptions), Dipartimento di Filosofia, Università di Milano, November 22, 1993.
- Defeasible Inheritance on Cyclic Networks, Yale University Computer Science Department, October 26, 1993.
- Game Theory and Default Logic, Summer Workshop of the Stanford Institute for Theoretical Economics on “Epistemic Foundations of Game Theory,” Stanford, CA, August 3-12, 1993.
- A Revision-Theoretic Analysis of the Arithmetical Hierarchy, Logic Colloquium, Carnegie Mellon University, Mathematics Dept, February 4, 1993.