Belief revision in non-classical logics (2013)