10 found
Order:
  1. Gian Aldo Antonelli (1998). Extensional Quotients for Type Theory and the Consistency Problem for NF. Journal of Symbolic Logic 63 (1):247-261.
    Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a such a model remains an open problem.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  2.  38
    Gian Aldo Antonelli (1994). Non-Well-Founded Sets Via Revision Rules. Journal of Philosophical Logic 23 (6):633 - 679.
  3.  17
    Gian Aldo Antonelli (1994). The Complexity of Revision. Notre Dame Journal of Formal Logic 35 (1):67-72.
    In this paper we show that the Gupta-Belnap systems S# and S* are П12. Since Kremer has independently established that they are П12-hard, this completely settles the problem of their complexity. The above-mentioned upper bound is established through a reduction to countable revision sequences that is inspired by, and makes use of a construction of McGee.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  37
    Gian Aldo Antonelli & Cristina Bicchieri (1995). Game-Theoretic Axioms for Local Rationality and Bounded Knowledge. Journal of Logic, Language and Information 4 (2):145-167.
    We present an axiomatic approach for a class of finite, extensive form games of perfect information that makes use of notions like “rationality at a node” and “knowledge at a node.” We distinguish between the game theorist's and the players' own “theory of the game.” The latter is a theory that is sufficient for each player to infer a certain sequence of moves, whereas the former is intended as a justification of such a sequence of moves. While in general the (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  24
    Gian Aldo Antonelli & Cristina Bicchieri, Forward Induction.
    Gian Aldo Antonelli and Cristina Bicchieri. Forward Induction.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  31
    Gian Aldo Antonelli (1996). What's in a Function? Synthese 107 (2):167 - 204.
    In this paper we argue that Revision Rules, introduced by Anil Gupta and Nuel Belnap as a tool for the analysis of the concept of truth, also provide a useful tool for defining computable functions. This also makes good on Gupta's and Belnap's claim that Revision Rules provide a general theory of definition, a claim for which they supply only the example of truth. In particular we show how Revision Rules arise naturally from relaxing and generalizing a classical construction due (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  46
    Cristina Bicchieri & Gian Aldo Antonelli (1995). Game-Theoretic Axioms for Local Rationality and Bounded Knowledge. Journal of Logic, Language and Information 4 (2):145-167.
    We present an axiomatic approach for a class of finite, extensive form games of perfect information that makes use of notions like rationality at a node and knowledge at a node. We distinguish between the game theorist's and the players' own theory of the game. The latter is a theory that is sufficient for each player to infer a certain sequence of moves, whereas the former is intended as a justification of such a sequence of moves. While in general the (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  8.  32
    Gian Aldo Antonelli (1996). Book Review: Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument. [REVIEW] Notre Dame Journal of Formal Logic 37 (1):152-159.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  9.  26
    Gian Aldo Antonelli (1993). Paradoxes of Belief and Strategic Rationality, Koons Robert. Cambridge: Cambridge University Press, 1992, Xii + 174 Pages. [REVIEW] Economics and Philosophy 9 (2):305.
  10.  29
    Gian Aldo Antonelli & Cristina Bicchieri, Backwards Forwards Induction.
    Gian Aldo Antonelli and Cristina Bicchieri. Backwards Forwards Induction.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography