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 metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/inria-00537233
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 8, 2013 - 7:20:59 PM
Last modification on : Friday, June 14, 2019 - 6:31:04 PM
Long-term archiving on : Monday, December 9, 2013 - 4:23:09 AM

File

10.1007-978-3-540-32128-6_1.pd...
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00537233, version 2

Collections

Citation

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

Share

Metrics

Record views

192

Files downloads

655