Sequent Calculi with Context Restrictions and Applications to Conditional Logic