Belief Revision in Non-Classical Logics (SpringerBriefs in Computer Science)