David Pearce Wolfgang Rautenberg Propositional logic based on the dynamics of disbelief. 243-258 1989 conf/ltc/1989 The Logic of Theory Change db/conf/ltc/ltc1989.html#PearceR89 http://dx.doi.org/10.1007/BFb0018424