Belief revision within fragments of propositional logic
作者：
Highlights：
• We propose to adapt known revision operators for fragments of propositional logic.
• We provide natural criteria such adapted operators should satisfy.
• We use a general framework including all fragments captured via closure properties.
• We study the properties or our operators in terms of postulates.
• We give a preliminary complexity analysis of selected refined operators.
摘要
•We propose to adapt known revision operators for fragments of propositional logic.•We provide natural criteria such adapted operators should satisfy.•We use a general framework including all fragments captured via closure properties.•We study the properties or our operators in terms of postulates.•We give a preliminary complexity analysis of selected refined operators.
论文关键词：Belief revision,Complexity,Fragments of propositional logic,KM postulates
论文评审过程：Received 5 December 2012, Revised 27 June 2013, Accepted 12 August 2013, Available online 30 August 2013.
论文官网地址：https://doi.org/10.1016/j.jcss.2013.08.002
