6 found
Order:
  1.  56
    Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
    Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...
    Direct download  
     
    Export citation  
     
    Bookmark   348 citations  
  2. Reasoning About Uncertainty.Joseph Y. Halpern - 2004 - Bulletin of Symbolic Logic 10 (3):427-429.
     
    Export citation  
     
    Bookmark   18 citations  
  3.  4
    Defining Knowledge in Terms of Belief: The Modal Logic Perspective: Defining Knowledge in Terms of Belief.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):469-487.
    The question of whether knowledge is definable in terms of belief, which has played an important role in epistemology for the last 50 years, is studied here in the framework of epistemic and doxastic logics. Three notions of definability are considered: explicit definability, implicit definability, and reducibility, where explicit definability is equivalent to the combination of implicit definability and reducibility. It is shown that if knowledge satisfies any set of axioms contained in S5, then it cannot be explicitly defined in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  2
    On Definability in Multimodal Logic: On Definability in Multimodal Logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
    Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for multimodal logics. A third notion of definability, reducibility, is introduced; it is shown that in multimodal logics, explicit definability is equivalent to the combination of implicit definability and reducibility. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  3
    Probability and Conditionals: Belief Revision and Rational Decision. [REVIEW]Joseph Y. Halpern - 2000 - Philosophical Review 109 (2):277-281.
    This collection of essays is a Festschrift for Ernest W. Adams, and is based on a symposium that was held in his honor in 1993. As the title suggests, most of the essays focus on probability and the logic of conditionals, and the relationship between them; they draw their inspiration from Adams’s seminal work on the subject. As a computer scientist, I was struck by just how much the topics discussed play a major role in much recent work in computer (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  2
    Probability and Conditionals: Belief Revision and Rational Decision.Joseph Y. Halpern - 2000 - Philosophical Review 109 (2):277-281.
    This collection of essays is a Festschrift for Ernest W. Adams, and is based on a symposium that was held in his honor in 1993. As the title suggests, most of the essays focus on probability and the logic of conditionals, and the relationship between them; they draw their inspiration from Adams’s seminal work on the subject. As a computer scientist, I was struck by just how much the topics discussed play a major role in much recent work in computer (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark