Backwards Forward Induction. - Gian Aldo Antonelli; Cristina Bicchieri (TARK, 1994)

Non-well-founded sets via revision rules. - Gian Aldo Antonelli (J. Philos. Log., 1994)

The Complexity of Revision. - Gian Aldo Antonelli (Notre Dame J. Formal Log., 1994)

A Revision-Theoretic Analysis of the Arithmetical Hierarchy. - Gian Aldo Antonelli (Notre Dame J. Formal Log., 1994)

Games Servers Play: A Procedural Approach. - Cristina Bicchieri; Eithan Ephrati; Gian Aldo Antonelli (ATAL, 1995)

Game-Theoretic Axioms for Local Rationality and Bounded Knowledge. - Cristina Bicchieri; Gian Aldo Antonelli (J. Log. Lang. Inf., 1995)

What's in a function? - Gian Aldo Antonelli (Synth., 1996)

Defeasible Inheritance on Cyclic Networks. - Gian Aldo Antonelli (Artif. Intell., 1997)

Extensional Quotients for Type Theory and the Consistency Property for NF. - Gian Aldo Antonelli (J. Symb. Log., 1998)

A Directly Cautious Theory of Defeasible Consequence for Default Logic via the Notion of General Extension. - Gian Aldo Antonelli (Artif. Intell., 1999)

Free Set Algebras Satisfying Systems of Equations. - Gian Aldo Antonelli (J. Symb. Log., 1999)

Proto-Semantics for Positive Free Logic. - Gian Aldo Antonelli (J. Philos. Log., 2000)

Frege's New Science. - Aldo Antonelli; Robert May (Notre Dame J. Formal Log., 2000)

Representability in Second-Order Propositional Poly-Modal Logic. - Gian Aldo Antonelli; Richmond H. Thomason (J. Symb. Log., 2002)

The Complexity of Revision, Revised. - Gian Aldo Antonelli (Notre Dame J. Formal Log., 2002)

Frege's Other Program. - Aldo Antonelli; Robert May (Notre Dame J. Formal Log., 2005)

Mathematical Methods in Philosophy Editors' Introduction. - Aldo Antonelli; Alasdair Urquhart; Richard Zach (Rev. Symb. Log., 2008)

Numerical Abstraction via the Frege Quantifier. - Gian Aldo Antonelli (Notre Dame J. Formal Log., 2010)

A Note on Induction, Abstraction, and Dedekind-Finiteness. - Gian Aldo Antonelli (Notre Dame J. Formal Log., 2012)

On the General Interpretation of First-order Quantifiers. - Gian Aldo Antonelli (Rev. Symb. Log., 2013)

Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment). - Aldo Antonelli (J. Philos. Log., 2017)