| Publication | Date of Publication | Type |
|---|
Interrogative Inquiry as Defeasible Reasoning
Logic, Argumentation & Reasoning | 2020-08-06 | Paper |
Life on the range: Quine's thesis and semantic indeterminacy
Synthese Library | 2020-07-23 | Paper |
Semantic nominalism: how i learned to stop worrying and love universals
Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
Completeness and decidability of general first-order logic (with a detour through the guarded fragment)
Journal of Philosophical Logic | 2017-07-19 | Paper |
On the general interpretation of first-order quantifiers
The Review of Symbolic Logic | 2014-05-02 | Paper |
2011–2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA, January 6–7, 2012
The Bulletin of Symbolic Logic | 2013-06-24 | Paper |
A note on induction, abstraction, and Dedekind-finiteness
Notre Dame Journal of Formal Logic | 2012-07-11 | Paper |
Notions of invariance for abstraction principles
Philosophia Mathematica | 2011-05-31 | Paper |
Numerical abstraction via the Frege quantifier
Notre Dame Journal of Formal Logic | 2010-07-20 | Paper |
| scientific article; zbMATH DE number 5161842 (Why is no real title available?) | 2007-06-06 | Paper |
The complexity of revision, revised
Notre Dame Journal of Formal Logic | 2004-05-27 | Paper |
Defeasible inheritance on cyclic networks
Artificial Intelligence | 2003-08-28 | Paper |
Representability in second-order propositional poly-modal logic
Journal of Symbolic Logic | 2002-01-01 | Paper |
Proto-semantics for positive free logic
Journal of Philosophical Logic | 2001-01-29 | Paper |
Conceptions and Paradoxes of Setst†
Philosophia Mathematica | 2000-05-09 | Paper |
Free set algebras satisfying systems of equations
Journal of Symbolic Logic | 2000-04-11 | Paper |
What's in a function?
Synthese | 1999-08-09 | Paper |
A directly cautious theory of defeasible consequence for default logic via the notion of general extension
Artificial Intelligence | 1999-06-21 | Paper |
Extensional quotients for type theory and the consistency problem for NF
Journal of Symbolic Logic | 1999-01-04 | Paper |
Game-theoretic axioms for local rationality and bounded knowledge
Journal of Logic, Language and Information | 1996-05-13 | Paper |
A revision-theoretic analysis of the arithmetical hierarchy
Notre Dame Journal of Formal Logic | 1996-04-22 | Paper |
The complexity of revision
Notre Dame Journal of Formal Logic | 1994-12-01 | Paper |
Non-well-founded sets via revision rules
Journal of Philosophical Logic | 1994-11-09 | Paper |
