Belief Revision¶

Contents:

• Logic of Expertise
  • Syntax
  • Semantics
  • Axiomatisation
  • Belief Revision
  • Alternative Semantics
• Logic of Expertise: extended
  • Introduction
  • Expertise and Soundness
    • Syntax
    • Semantics
  • Closure Properties
  • Connection with Epistemic Logic
  • Axiomatisation
    • The General Case
    • Extensions of the Base Logic
  • The Multi-source Case
    • Collective Knowledge
    • Collective Expertise
    • Collective semantics
  • Dynamic Extension
    • Expertise Increase
    • Sound Announcements
  • Related Work
  • Conclusion
• Belief and Expertise Paper
  • Misc results
  • Selective revision
    • Independence properties
    • Selectivity and conditioning
    • Implementability
    • Selectivity and expertise
  • Modifications of Conditional-success
• Trust and Belief Revision
  • Introduction
  • Preliminaries
  • Trust Sets
  • General revision
  • Revising a partition
    • Order-based operators
  • Handling new information
    • Revisiting order-based operators
  • Multiple sources