Belief functions, Non-standard logics for automated reasoning