Gian Aldo Antonelli

17 papers B 1Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2013 J jnl
On the General Interpretation of First-order Quantifiers.
Rev. Symb. Log.
Gian Aldo Antonelli
2012 J jnl
A Note on Induction, Abstraction, and Dedekind-Finiteness.
Notre Dame J. Formal Log.
Gian Aldo Antonelli
2010 J jnl
Numerical Abstraction via the Frege Quantifier.
Notre Dame J. Formal Log.
Gian Aldo Antonelli
2002 J jnl
Representability in Second-Order Propositional Poly-Modal Logic.
J. Symb. Log.
Gian Aldo Antonelli, Richmond H. Thomason
2002 J jnl
The Complexity of Revision, Revised.
Notre Dame J. Formal Log.
Gian Aldo Antonelli
2000 J jnl
Proto-Semantics for Positive Free Logic.
J. Philos. Log.
Gian Aldo Antonelli
1999 J jnl
A Directly Cautious Theory of Defeasible Consequence for Default Logic via the Notion of General Extension.
Artif. Intell.
Gian Aldo Antonelli
1999 J jnl
Free Set Algebras Satisfying Systems of Equations.
J. Symb. Log.
Gian Aldo Antonelli
1998 J jnl
Extensional Quotients for Type Theory and the Consistency Property for NF.
J. Symb. Log.
Gian Aldo Antonelli
1997 J jnl
Defeasible Inheritance on Cyclic Networks.
Artif. Intell.
Gian Aldo Antonelli
1996 J jnl
What's in a function?
Synth.
Gian Aldo Antonelli
1995 J jnl
Game-Theoretic Axioms for Local Rationality and Bounded Knowledge.
J. Log. Lang. Inf.
Cristina Bicchieri, Gian Aldo Antonelli
1995 — conf
Games Servers Play: A Procedural Approach.
ATAL
Cristina Bicchieri, Eithan Ephrati, Gian Aldo Antonelli
1994 J jnl
A Revision-Theoretic Analysis of the Arithmetical Hierarchy.
Notre Dame J. Formal Log.
Gian Aldo Antonelli
1994 B conf
Backwards Forward Induction.
TARK
Gian Aldo Antonelli, Cristina Bicchieri
1994 J jnl
Non-well-founded sets via revision rules.
J. Philos. Log.
Gian Aldo Antonelli
1994 J jnl
The Complexity of Revision.
Notre Dame J. Formal Log.
Gian Aldo Antonelli