Skip to Main content Skip to Navigation
Conference papers

A Combined System for Update Logic and Belief Revision

Abstract : In this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchourron, P. Gardenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ( [Spohn90], [Spohn88]). We also give a proof system and a comparison with the AGM postulates.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Sunday, September 8, 2013 - 7:20:59 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:32 PM
Long-term archiving on: : Monday, December 9, 2013 - 4:23:09 AM


Publisher files allowed on an open archive


  • HAL Id : inria-00537233, version 2


Guillaume Aucher. A Combined System for Update Logic and Belief Revision. PRIMA, Aug 2004, Auckland, New Zealand. pp.1-17. ⟨inria-00537233v2⟩



Les métriques sont temporairement indisponibles