Available identifiers
zbMath Open antonelli.gian-aldoMaRDI QIDQ1333308
List of research outcomes
| Publication | Date of Publication | Type |
|---|
| Interrogative Inquiry as Defeasible Reasoning | 2020-08-06 | Paper |
| Life on the Range: Quine’s Thesis and Semantic Indeterminacy | 2020-07-23 | Paper |
| Semantic Nominalism: How I Learned to Stop Worrying and Love Universals | 2020-07-13 | Paper |
| Completeness and decidability of general first-order logic (with a detour through the guarded fragment) | 2017-07-19 | Paper |
| ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS | 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 | 2013-06-24 | Paper |
| A note on induction, abstraction, and Dedekind-finiteness | 2012-07-11 | Paper |
| Notions of Invariance for Abstraction Principles | 2011-05-31 | Paper |
| Numerical abstraction via the Frege quantifier | 2010-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3445741 | 2007-06-06 | Paper |
| The complexity of revision, revised | 2004-05-27 | Paper |
| Defeasible inheritance on cyclic networks | 2003-08-28 | Paper |
| Representability in second-order propositional poly-modal logic | 2002-01-01 | Paper |
| Proto-semantics for positive free logic | 2001-01-29 | Paper |
| Conceptions and Paradoxes of Setst† | 2000-05-09 | Paper |
| Free set algebras satisfying systems of equations | 2000-04-11 | Paper |
| What's in a function? | 1999-08-09 | Paper |
| A directly cautious theory of defeasible consequence for default logic via the notion of general extension | 1999-06-21 | Paper |
| Extensional quotients for type theory and the consistency problem for NF | 1999-01-04 | Paper |
| Game-theoretic axioms for local rationality and bounded knowledge | 1996-05-13 | Paper |
| A revision-theoretic analysis of the arithmetical hierarchy | 1996-04-22 | Paper |
| The complexity of revision | 1994-12-01 | Paper |
| Non-well-founded sets via revision rules | 1994-11-09 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Gian Aldo Antonelli
