Belief Revision in Non-Classical Logics