A unified view of consequence relation, belief revision and conditional logicOn the Difference Between Updating a Knowledge Base and Revising it