10 found
Order:
  1. Extensional Quotients for Type Theory and the Consistency Problem for NF.Gian Aldo Antonelli - 1998 - 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.  84
    Game-Theoretic Axioms for Local Rationality and Bounded Knowledge.Gian Aldo Antonelli & Cristina Bicchieri - 1995 - 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   2 citations  
  3.  19
    The Complexity of Revision.Gian Aldo Antonelli - 1994 - 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.  40
    Non-Well-Founded Sets Via Revision Rules.Gian Aldo Antonelli - 1994 - Journal of Philosophical Logic 23 (6):633 - 679.
  5.  26
    Forward Induction.Gian Aldo Antonelli & Cristina Bicchieri - unknown
    Gian Aldo Antonelli and Cristina Bicchieri. Forward Induction.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  32
    What's in a Function?Gian Aldo Antonelli - 1996 - 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.  34
    Book Review: Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument. [REVIEW]Gian Aldo Antonelli - 1996 - Notre Dame Journal of Formal Logic 37 (1):152-159.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8.  27
    Paradoxes of Belief and Strategic Rationality, Koons Robert. Cambridge: Cambridge University Press, 1992, Xii + 174 Pages. [REVIEW]Gian Aldo Antonelli - 1993 - Economics and Philosophy 9 (2):305.
  9.  29
    Backwards Forwards Induction.Gian Aldo Antonelli & Cristina Bicchieri - unknown
    Gian Aldo Antonelli and Cristina Bicchieri. Backwards Forwards Induction.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10. No Title Available: REVIEWS.Gian Aldo Antonelli - 1993 - Economics and Philosophy 9 (2):305-313.
    Direct download  
     
    Export citation  
     
    My bibliography