A Goal-Directed Calculus for Standard Conditional Logics