12 found
Order:
  1.  27
    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 (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2. 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  
     
    Bookmark   6 citations  
  3.  52
    Non-Well-Founded Sets Via Revision Rules.Gian Aldo Antonelli - 1994 - Journal of Philosophical Logic 23 (6):633 - 679.
  4.  45
    A Revision-Theoretic Analysis of the Arithmetical Hierarchy.Gian Aldo Antonelli - 1994 - Notre Dame Journal of Formal Logic 35 (2):204-218.
    In this paper we apply the idea of Revision Rules, originally developed within the framework of the theory of truth and later extended to a general mode of definition, to the analysis of the arithmetical hierarchy. This is also intended as an example of how ideas and tools from philosophical logic can provide a different perspective on mathematically more “respectable” entities. Revision Rules were first introduced by A. Gupta and N. Belnap as tools in the theory of truth, and they (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  55
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  42
    Forward Induction.Gian Aldo Antonelli & Cristina Bicchieri - unknown
    Gian Aldo Antonelli and Cristina Bicchieri. Forward Induction.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  32
    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  
     
    Bookmark   2 citations  
  8.  39
    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.
  9. Defeasible Inheritance on Cyclic Networks.Gian Aldo Antonelli - 1997 - Artificial Intelligence 92 (1-2):1-23.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. 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 (8 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    No Title Available: REVIEWS.Gian Aldo Antonelli - 1993 - Economics and Philosophy 9 (2):305-313.
  12.  38
    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.