Author:Booth, R; Meyer, T; Varzinczak, IJDate:Jun 2009Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on Horn logic. In addition ...Read more