Counterfactuals Modulo Temporal Logics