Gian Aldo Antonelli

	2010
13		Gian Aldo Antonelli: Numerical Abstraction via the Frege Quantifier. Notre Dame Journal of Formal Logic 51(2): 161-179 (2010)
	2002
12		Gian Aldo Antonelli, Richmond H. Thomason: Representability in Second-Order Propositional Poly-Modal Logic. J. Symb. Log. 67(3): 1039-1054 (2002)
11		Gian Aldo Antonelli: The Complexity of Revision, Revised. Notre Dame Journal of Formal Logic 43(2): 75-78 (2002)
	2000
10		Gian Aldo Antonelli: Proto-Semantics for Positive Free Logic. J. Philosophical Logic 29(3): 277-294 (2000)
	1999
9		Gian Aldo Antonelli: A Directly Cautious Theory of Defeasible Consequence for Default Logic via the Notion of General Extension. Artif. Intell. 109(1-2): 71-109 (1999)
8		Gian Aldo Antonelli: Free Set Algebras Satisfying Systems of Equations. J. Symb. Log. 64(4): 1656-1674 (1999)
	1998
7		Gian Aldo Antonelli: Extensional Quotients for Type Theory and the Consistency Property for NF. J. Symb. Log. 63(1): 247-261 (1998)
	1997
6		Gian Aldo Antonelli: Defeasible Inheritance on Cyclic Networks. Artif. Intell. 92(1-2): 1-12 (1997)
	1995
5		Cristina Bicchieri, Eithan Ephrati, Gian Aldo Antonelli: Games Servers Play: A Procedural Approach. ATAL 1995: 127-142
4		Cristina Bicchieri, Gian Aldo Antonelli: Game-Theoretic Axioms for Local Rationality and Bounded Knowledge. Journal of Logic, Language and Information 4(2): 145-167 (1995)
	1994
3		Gian Aldo Antonelli, Cristina Bicchieri: Backwards Forward Induction. TARK 1994: 24-43
2		Gian Aldo Antonelli: The Complexity of Revision. Notre Dame Journal of Formal Logic 35(1): 67-72 (1994)
1		Gian Aldo Antonelli: A Revision-Theoretic Analysis of the Arithmetical Hierarchy. Notre Dame Journal of Formal Logic 35(2): 204-218 (1994)

Coauthor Index

1	Cristina Bicchieri	[3] [4] [5]
2	Eithan Ephrati	[5]
3	Richmond H. Thomason	[12]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page