Gian Aldo Antonelli

According to our database, Gian Aldo Antonelli authored at least 21 papers between 1994 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).

Aldo Antonelli

J. Philos. Log., 2017

2013

On the General Interpretation of First-order Quantifiers.

Gian Aldo Antonelli

Rev. Symb. Log., 2013

2012

A Note on Induction, Abstraction, and Dedekind-Finiteness.

Gian Aldo Antonelli

Notre Dame J. Formal Log., 2012

2010

Numerical Abstraction via the Frege Quantifier.

Gian Aldo Antonelli

Notre Dame J. Formal Log., 2010

2008

Mathematical Methods in Philosophy Editors' Introduction.

Aldo Antonelli, Alasdair Urquhart, Richard Zach

Rev. Symb. Log., 2008

2005

Frege's <i>Other</i> Program.

Aldo Antonelli, Robert May

Notre Dame J. Formal Log., 2005

2002

The Complexity of Revision, Revised.

Gian Aldo Antonelli

Notre Dame J. Formal Log., 2002

Representability in Second-Order Propositional Poly-Modal Logic.

Gian Aldo Antonelli, Richmond H. Thomason

J. Symb. Log., 2002

2000

Frege's New Science.

Aldo Antonelli, Robert May

Notre Dame J. Formal Log., 2000

Proto-Semantics for Positive Free Logic.

Gian Aldo Antonelli

J. Philos. Log., 2000

1999

Free Set Algebras Satisfying Systems of Equations.

Gian Aldo Antonelli

J. Symb. Log., 1999

A Directly Cautious Theory of Defeasible Consequence for Default Logic via the Notion of General Extension.

Gian Aldo Antonelli

Artif. Intell., 1999

1998

Extensional Quotients for Type Theory and the Consistency Property for NF.

Gian Aldo Antonelli

J. Symb. Log., 1998

1997

Defeasible Inheritance on Cyclic Networks.

Gian Aldo Antonelli

Artif. Intell., 1997

1996

What's in a function?

Gian Aldo Antonelli

Synth., 1996

1995

Game-Theoretic Axioms for Local Rationality and Bounded Knowledge.

Cristina Bicchieri, Gian Aldo Antonelli

J. Log. Lang. Inf., 1995

Games Servers Play: A Procedural Approach.

Cristina Bicchieri, Eithan Ephrati, Gian Aldo Antonelli

Proceedings of the Intelligent Agents II, 1995

1994

A Revision-Theoretic Analysis of the Arithmetical Hierarchy.

Gian Aldo Antonelli

Notre Dame J. Formal Log., 1994

The Complexity of Revision.

Gian Aldo Antonelli

Notre Dame J. Formal Log., 1994

Non-well-founded sets via revision rules.

Gian Aldo Antonelli

J. Philos. Log., 1994

Backwards Forward Induction.

Gian Aldo Antonelli, Cristina Bicchieri

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994