Author:Booth, R; Meyer, T; Varzinczak, I; Wassermann, RDate:Aug 2010The authors show that Booth et al.’s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, which supports the ...Read more
Author:Booth, R; Meyer, T; Varzinczak, I; Wassermann, RDate:Sep 2011Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper the authors build on recent ...Read more