  In this paper, we present a formal analysis of temporally sensitive
counterfactual conditionals. We observe a set of key metaphysical and
conceptual problems in regards to counterfactual statements and time. Bearing
that in mind, we present the weakest combination of Ockhamist branching time
temporal logic and minimal counterfactual logic P and argue in favor of that
simple solution.
