A Theory of Conditionals in the Context of Branching Time