Bradley Conditionals and Dynamic Choice

One of the main contributions of Richard Bradley’s book is an elegant extension of Jeffrey’s Logic of Decision that countenances the evaluation of conditional prospects. This extension offers a promising new setting in which to model dynamic choice. In Bradley’s framework, plans can be understood as conditionals of an appropriate sort, while dynamic consistency can be viewed as providing a constraint on the evaluation of conditionals across time. In this paper, we study connections between planning conditionals and dynamic consistency.


Introduction
In broad outline, Richard Bradley 1 follows the approach to decision theory pioneered by Jeffrey in his Logic of Decision. 2 In this framework, agents hold preferences over the propositions of a rich Boolean algebra. The content of these propositions is left entirely open, thus generalizing Savage's theory in which the domain of preference is far more restricted. 3 Consistency conditions constrain admissible preferences in light of the structure of the algebra and its logical connectives. The standard such conditions of Jeffrey's theory suffice to guarantee the representability of preferences as desirability maximizing. That is, there exists a probability function, P, and a desirability function, V , both defined over the algebra, satisfying for any pair of non-null, mutually exclusive propositions X and Y , V (X ∨ Y ) = P(X |X ∨ Y )V (X ) + P(Y |X ∨ Y )V (Y ), 4 such that more preferred propositions are ranked higher by V . Jeffrey suggested that we could turn this into a theory of rational choice by identifying every option available to an agent facing a decision problem with the proposition that she selects that option and then stipulating that rational choice goes by desirability maximization.
Bradley's principal extension of Jeffrey's framework involves the introduction of conditional operators into the object language of the logic of decision. This enables us to consider agents that express preferences over non-truth functional conditional propositions, including (plausibly) indicative and subjunctive conditionals. Bradley proves that doing so does no damage to the standard representation results and argues this (again plausibly) allows us to embed standard Savage-style decision theories into a Jeffrey-style framework. This is a clear virtue of Bradley's work, as it allows, for example, a reframing of debates about the rationality of Savage's postulates and competing ones within a unified framework.
We are going to study Bradley's extension of the logic of decision to conditional operators in the setting of dynamic or sequential choice. Most decision problems discussed in philosophy have a static flavor: an agent makes a one-time choice from among a set of acts. Many decision situations involve a temporal component, however.
Choices are made sequentially, perhaps mixed with receiving partial information about the state of the world. How should an agent's actions be modeled to fit the sequential environment? We take Bradley's account of conditional operators as our starting point in order to develop a plausible response.
In what follows we are guided by certain intuitive considerations about choices in a dynamic setting. The central notion, we take it, is that of a plan. When we speak of plans we usually refer to possible courses of action that extend over time. For instance, a company may plan to adjust the level of production of some good in response to a range of events that might influence demand for the good. Such plans involve conditionals in a natural way: a plan tells us what to do if an event happens for a range of events that we can anticipate ex ante.
This ordinary understanding of plans involves, arguably, a certain stability over time. If I endorse the assertion "plan A is better than plan B" one day, but assert "plan B is better than plan A" on the following day, it is not clear whether I really do think of A and B as plans, assuming they cover all relevant contingencies. If my initial endorsement of plan A over plan B is to be genuine, it presumably factors in all the contingencies I'm aware of; thus, my endorsement of "plan A is better than plan B" should not change at my whim.
This suggestion-that agents should evaluate plans in a dynamically stable manner-comes from how we seem to understand plans in natural language. Its counterpart in rational choice theory is dynamic consistency. An agent who fails to evaluate plans in a robust manner over time-like endorsing plan A over plan B first but switching subsequently-is dynamically inconsistent. Dynamic inconsistency opens decision makers up to dynamic Dutch books, that is, to sets of bets that, over time, leave them with a net loss no matter what. For this reason, many decision theorists think of dynamic consistency as a requirement of rationality. Raiffa was among the first to realize the connection between dynamic consistency and Savage's axioms for decision theory, especially the sure-thing principle. 5 The most thorough account was given by Hammond, who used dynamic consistency (or what he calls consequentialism) as a justification for expected utility maximization. 6 Our goal is to study these ideas within the Jeffrey-Bradley framework. In particular, we study the interplay between dynamic consistency and different ways to characterize plans in terms of conditionals. Our main result asserts a tight connection between indicative planning conditionals (what we refer to as Bradley conditionals below) and dynamic consistency. Here, planning conditionals are understood in a matter of fact way, and this is what fits the evaluation of plans according to Jeffrey's V .
If one thinks, as Jeffrey himself did, that the logic of decision is the correct theory of choice, then having an extension of the theory to the sequential choice setting in which agents are dynamically consistent when choosing among plans is of obvious significance, especially in light of recent arguments casting doubt on the possibility of such an extension. 7 Jeffrey's view is not widely shared, however. 8 Causal decision theorists, in particular, argue that the logic of decision fails as a theory of choice in Newcomb type problems. From this point of view, our project takes on a different kind of relevance. While denying that the logic of decision is the correct theory of choice, many causal decision theorists think of it is the correct theory of desirability or news value. 9 What examples like Newcomb's problem show is that desirability and choiceworthiness can come apart. What is important for our project is that evaluations of plans in terms of their news value or desirabilty should also be dynamically consistent. That is, we take an agent who thinks of plan A as more desirable as plan B one day and reverses that judgment on the next as irrational. In this way our results on planning conditionals are relevant even for those who don't think that Jeffrey's framework as [is, not as] the correct theory of rational choice.
We proceed as follows. In § 2 we introduce dynamic choice theory and give some motivations for dynamic consistency. In § 3 we discuss plans and conditionals. Our main results are stated and proved in § 4 and given some context in § 5.

Dynamic choice theory
While Jeffrey seems to have developed his theory largely with problems of static choice in mind, the concerns of practical rationality extend beyond such choice scenarios. We are often confronted with extended decision problems that require planning and foresight on our part, rather than a single choice here and now. In dynamic choice problems, agents are called upon to make a series of choices over time that jointly determine (with the states of nature) what outcomes will obtain. These decision problems are 5 Raiffa (1968). 6 Hammond (1988). See Cubitt (1996) for a simplified approach and McClennen (1990) for a philosophical assessment. Hammond's approach is endorsed by Gibbard (2008). 7 See, for example, the argument in Rothfus (2020) that a natural sequential extension of the Logic of Decision results in dynamic inconsistency. Our results here offer evidentialists a way of evading this result by reinterpreting planning conditionals. 8 There are some exceptions, such as Ahmed (2014). 9 See, e.g., Joyce (1999) and Skyrms (1984). often helpfully modelled using Bayesian decision trees. Such trees are cumbersome to define formally 10 but easily understood by example.
Intuitively, a decision tree consists of a set of nodes connected to each other and ordered according to an immediate successor function, N + (·), that maps nodes to other nodes so as to produce a tree-like graph. Since the trees are meant to model bounded sequential choice problems, they always start with an initial node and end in various terminal nodes. All non-terminal nodes are either choice nodes, i.e. points at which the agent must make a choice, or natural nodes, i.e. points at which nature makes a move and some uncertainty about the world is resolved. Following convention, choice nodes are represented in trees as squares, while natural nodes are denoted by circles. Terminal nodes are designated with triangles. Each node n is associated with a proposition, S(n), capturing the information state of the acting agent at n. An example of a relatively simple decision tree is depicted below in Fig. 1.
The agent facing this tree, T 1 , must decide at the initial node, which is a choice node, whether to move up or to move down. If the agent decides to move up, the proposition S(z 1 ) will be true. If the agent chooses to move down, she will learn whether or not some event E obtains and then, depending on the truth of E, face either a choice between making S(z 2 ) or S(z 3 ) true or a choice between making S(z 4 ) or S(z 5 ) true.
Agents facing dynamic choice problems can reflect not only on what action to take at a currently occupied choice node, but also more broadly on what course of action to implement in the decision problem viewed as an extended whole. That is, they can evaluate competing plans. Given a tree T , a plan specifies a unique move for every choice node in T that an agent facing T could reach, given implementation of earlier portions of the plan. It thus traces a unique path through the tree, given any combination of moves by nature at its nodes. So, for example, in T 1 , there are five possible plans: (i) move up at n 0 , (ii) move down at n 0 and then either move up at n 2 or move up at n 3 , (iii) move down at n 0 and then either move down at n 2 or down at n 3 , (iv) move down at n 0 and then either up at n 2 or down at n 3 , and (v) move down at n 0 and then either down at n 2 or up at n 3 . We let ' (T , n)' stand for the set of all plans that are available at node n in decision tree T .  Hammond (1988) for a precise characterization of decision trees. For our purposes below, we depart from this standard characterization in one significant way: we allow that learning is possible pursuant to choice nodes as well as natural nodes. For more on sequential choice problems and the philosophical issues they give rise to see, e.g., Cubitt (1996) and McClennen (1990).
The primary normative constraint in the setting of sequential choice is dynamic consistency. Rational planning requires a certain coherence between initial evaluations of plans and subsequent re-evaluations of plan continuations at later choice nodes. If at the start of a sequential choice problem a certain plan seems most favorable to you, then continuations of that plan ought to continue to seem favorable to you as you implement the plan. There are various ways one might codify such a principle, but for our purposes we will rely on a fairly weak understanding of dynamic consistency. 11 Letting D(·) be a function that, given a set (T , n) of plans, picks out those plans that a fixed agent judges to be practically acceptable and letting ' p(n)' denote the continuation of plan p at node n, we can define dynamic consistency as follows: Definition 1 An agent is dynamically consistent in a decision tree T just in case, for all nodes n a and n b in T such that n a precedes n b along some branch of T , if p ∈ D( (T , n a )) and p makes arrival at n b possible, then p(n b ) ∈ D( (T , n b )). An agent is dynamically consistent tout court just in case the agent is dynamically consistent in all decision trees, Note that, unlike some authors, we do not state dynamic consistency as a biconditional. While ex ante optimal plans should remain optimal (and therefore implementable) as a rational agent progresses through a dynamic choice problem, we do not insist that an initially disfavored plan may never come to be seen as admissible by a rational agent. While the stronger biconditional version of dynamic consistency may also be a rationality principle, it seems to have questionable consequences. In particular, it seems to be at odds with the rational permissibility of incomplete preferences. For example, if I view the prospects α and β as incommensurable in value, and must decide between α and a future choice between β and α − (where is some small cost that detracts from α without rendering it comparable to β), I may well judge the plan that involves opting for the choice and then selecting α − as initially inadmissible but revise this judgment upon arriving at the choice between β and α − , thus violating the stronger, but not our, formulation of dynamic consistency. It is more critical in our eyes that rationality allow for the possibility of avoiding suboptimal plans than that it guarantee the avoidance of such plans. At any rate, the weaker version of dynamic consistency laid out in Definition 1 suffices for our purposes in this paper, so there is no need to assume the stronger version.
It is plausible that, under appropriate assumptions, rationality requires dynamic consistency so understood. Dynamically inconsistent agents are doomed to forseeably reverse their current judgments about which plans of action are best, and normative theories that license such reversals are a tough sell. One reason for this is that dynamic inconsistency typically breeds susceptibility to dynamic Dutch Books: e.g., if I prefer plan A to plan B, but anticipate a reversal of that preference prior to completing either plan, I may well be decisively inclined to pay a fee to commit myself to plan A, leaving me strictly worse off than I would have been if my attitudes hadn't been prone to such problematic reversals. 12 The dynamic consistency (or lack thereof) of Jeffrey's theory of desirability maximization is then well worth examining. 13 For convenience, we will speak of a decision theory, like desirability maximization, as dynamically consistent just in case any agent whose attitudes and behavior conform to the theory is guaranteed to be dynamically consistent.
In order to explore the dynamic consistency of desirability maximizers, though, we need to know how to apply the theory in the context of sequential choice problems. This necessitates finding some way of identifying the plans available to an agent in a sequential choice problem with propositions so that available plans can then be ranked according to their desirability. Richard Bradley's introduction of conditional operators into Jeffrey's framework suggests a particularly fruitful way of associating plans with propositions (or, as Bradley prefers to say, prospects), allowing us to assess the dynamic consistency of desirability maximization more carefully.

Plans and conditionals
Bradley (2017) extends Jeffrey's logic of decision in a natural way so as to include conditional propositions. He develops a rich framework for capturing the role conditionals play in decision making, and also provides an innovative new semantics for conditional statements. We focus here only on the first aspect, which we apply to the kinds of dynamic choice problems introduced in the foregoing section.
Above we sketched an informal understanding of the plans available to an agent in a fixed decision tree. Now, employing a conditional operator, we can define the plans available to a decision maker as she moves through a decision tree more precisely within the Jeffrey-Bradley framework. In the following definition, the symbol '→' should be read as a placeholder for different kinds of conditionals.
Definition 2 Let n be a node in a decision tree T . The set of plans available at n in T , denoted (T , n), is defined recursively as follows: 1. If n is a terminal node, then (T , n) = {S(n)}.
Footnote 12 continued readers skeptical of the rational necessity of dynamic consistency might still take interest in our arguments on account of the simple pragmatic grounds agents may have for structuring their attitudes so as to avoid dynamic dutch books. An argument casting the significance of dynamic dutch book arguments in this light can be found in Rabinowicz (2006). 13 A reviewer has objected that the notion of dynamic consistency suggested here may be too strong to count as a requirement of rationality since an agent may be dynamically inconsistent in a decision tree while still implementing the plan she judges to be ex ante optimal at the tree's initial node. For example, I might initially judge a plan A to be optimal in a tree, but then lose that preference at a subsequent node (thus violating dynamic consistency) and yet regain the preference for A again at yet another subsequent node, such that I still end up implementing plan A. Given that I succeed in implementing an ex ante optimal plan, why need my dynamic inconsistency indicate any irrationality on my part in cases like this? The answer is that while I do end up implementing what was optimal from the standpoint of my initial attitudes, I do not do so from my standpoint at the middle stage, so I am still criticizable by my own lights at that middle stage. And there is no essential reason to privilege the initial attitudes when assessing the agent's rationality. If we just snip off the first part of the tree, we'd have a de novo tree where the middle node would become the initial node and I would fail to implement my ex ante optimal plan in that tree.
3. If n is a natural node, then The first two conditions define plans at terminal nodes and choice nodes in an obvious enough way. The last condition requires the agent to consider plans at natural nodes in terms of a conditional '→'. At a natural node, plans are conjunctions of conditionals of the form S(n i ) → π(n i ). The propositions S(n i ) form a partition of those circumstances that can be distinguished after n. For each n i , a plan specifies what plan available at n i to choose if n i is reached. We can also define plan continuations in this setting as follows: Definition 3 Let n be a node in a decision tree T and let p ∈ (T , n). Suppose n is a node succeeding n along some branch of T . The continuation of p at n , written ' p(n )', is the member of (T , n ) consistent with p. If there is no such member, p does not make arrival at n possible and p(n ) is left undefined.
Throughout we will assume that desirability maximizers judge admissible at a node n in a tree T whichever plans in (T , n) are of maximal desirability, i.e. p ∈ D( (T , n)) if and only if V n ( p) ≥ V n ( p ) for all p ∈ D( (T , n)), where V n captures the agent's desirabilities at node n. We will also assume that the credences and desirabilities of an agent each evolve by conditionalization as she moves through the stages of a sequential choice problem. 14 Let's call the conditional appearing in Definition 2 a planning conditional. The question we'd like to answer is how to construe this conditional so as to ensure the dynamic consistency of desirability maximization. We can note as a preliminary result that construing the planning conditional truth-functionally as a material conditional will not do. This way of modelling the planning conditional is equivalent to identifying a plan with the disjunction of information states that its implementation could terminate in. While this proposal is natural enough and would allow us to analyze the planning conditional in terms of standard Boolean connectives, Rothfus (2020) has argued that this simple model can leave desirability maximizers prey to dynamic inconsistency, establishing:

Proposition 1 If the planning conditional is the material conditional, desirability maximization is not dynamically consistent.
This result is rather to be expected. The material construal of the planning conditional makes plans out to be disjunctions, and one disjunction, say, A ∨ B, can easily be more desirable than another, say, C ∨ D, even if the individual disjuncts (i.e. plan continuations) are such that C is preferable to A and D to B. (This may be the case, for example, if B is more desirable than C, and A ∨ B is sufficiently good evidence of B while C ∨ D is sufficiently good evidence of C.) 15 This initial negative result invites consideration of alternative interpretations of the planning conditional. One natural suggestion would be to read the planning conditional as an indicative of the sort employed by Bradley to model Savage acts. It turns out that this construal of the planning conditional yields a more positive picture regarding the dynamic consistency of desirability maximization, as we hope to show below. Before arguing for this, however, it may be worth motivating the idea that planning is an indicative, as opposed to subjunctive, enterprise at a relatively informal level. 16 An indicative supposition involves supposing that some proposition is true as a matter of fact. This mode of supposition is commonly contrasted with subjunctive or counterfactual supposition, which involves considering what the world would be like if some proposition were to be true (without fixing whether or not the supposition is actually true). Examples are the surest way to bring out this contrast. Suppose, to employ a planning context, that you are considering the possibility that you will be offered a job at a prestigious law firm and are evaluating the desirability of accepting such an offer, under the supposition that it is made. Suppose further that you suffer from terribly low self-esteem and hence are very confident that you will not be offered the position. Moreover, you think that, were you, shockingly, to learn that you had been offered the job, the most likely explanation would be that the job was not as grand as you had supposed and therefore not worth accepting. Under these circumstances, you may judge accepting the offer as desirable under the subjunctive supposition of its being offered but not under the indicative supposition of its being offered. To put the matter in terms of conditionals, and letting → represent the indicative and → the subjunctive, you prefer (Offer → NotAccept) to (Offer → Accept), while simultaneously preferring (Offer → Accept) to (Offer → NotAccept).
This example hopefully brings out why planning conditionals are best understood as indicative rather than subjunctive. In forming a contingency plan, an agent is considering what to do if, as a matter of fact, various contingencies are found to obtain. When you consider what to do if you are offered the job, you are considering what to do if you in fact learn that you are offered the job. Strictly counterfactual worlds are of no concern to you, and the counterfactual conditional provides no direct practical 15 Rothfus puts his argument forward in the context of Ahmed (2014)'s argument that causal decision theory leads to dynamic inconsistency. This result shows that the same is true for evidential decision theory on a material construal of planning conditionals. 16 Note that we in no way mean here to deny the importance of subjunctive supposition in the context of rational planning and decision making. Causal decision theory, for example, mall well be right to view the practical merits of a plan in terms of its expected desirability under the subjunctive supposition of its implementation. What we deny is simply that the planning conditional itself should be viewed subjunctively. Note also that plans are different from strategies in extensive-form games. An extensive-form game is like a sequential choice problem with the added feature that there can be more than one agent making decisions. Agents are called players. A strategy is a complete contingency plan, that is a plan that specifies a unique move at each of a player's choice nodes regardless of previous moves. Thus, in the context of strategies, subjunctive conditionals may play an important role. It would be interesting to explore the connections between strategies and plans within Bradley's framework, but we leave this topic to future research. guidance. In forming a plan, you are determining how to respond to the different bodies of evidence you might be exposed to, and not how to respond to counterfactual possibilities, which is impossible for an agent located in one world to do. Hence, an indicative reading seems most appropriate given the role planning conditionals are meant to play in the practical deliberation of agents.
There is another reason why in the context of dynamic consistency an indicative reading of planning conditionals is preferable. Suppose that plans involve counterfactual contingencies, i.e. they specify moves at nodes that are not reached if the decision maker follows her plan. This can happen, for example, if the agent makes a mistake or acts irrationally at some node. If this happens, though, it is not clear why the agent should be dynamically consistent along the "counterfactual" paths of the decision tree. For then she might learn something about herself that could overturn her initial evaluations of plans. 17 That said, it remains to vindicate more precisely the dynamic consistency of desirability maximization under such a reading of the planning conditional.

Conditionals and dynamic consistency
Bradley provides an insightful discussion of the constraints that apply to different types of conditionals-especially indicatives. There is, as we have claimed and now hope to demonstrate, a very close connection between indicative conditionals as construed by Bradley and the dynamic consistency of desirability maximization in sequential choice problems. For our purposes, it will not be necessary to develop a full semantics for indicative conditionals (see Chapter 8 in Bradley (2017) for more details). Instead, we use two of Bradley's constraints on value functions that arguably capture properties any account of indicative conditionals ought to satisfy in a decision-theoretic context.
The first condition is called the Indicative Property (Bradley (2017), p. 117): As Bradley points out, the indicative property is a very natural constraint for indicative conditionals. Indicative conditionals are matter-of-fact conditional statements. And part of what this means is that the evaluation of the desirability of α → β involves supposing that α is true as a matter of fact. As a result, if the agent prefers β to γ , in each case supposing α as a matter of fact, she should also prefer α ∧ β to α ∧ γ . A second property Bradley attributes to indicatives is Additivity, which requires that whenever {α i } is a partition, then 17 This point is related to certain issues in epistemic game theory, where the consideration of counterfactuals is very natural. As Stalnaker has pointed out, there are no substantive rationality constraints for considering what to do at nodes in a game tree that are not reached under the assumptions of a model of a game. Everything depends on how the agent changes her attitudes if something happens that she does not believe initially. See Stalnaker (1996Stalnaker ( , 1998.
Additivity is also a natural requirement for indicative conditionals. It basically says that conjunctions of conditionals can be evaluated separately in case the antecedents form a partition. If each antecedent is supposed as a matter of fact, it only specifies what happens if that antecedent, and no other, is the case. There is thus no influence on the consequents of the other conditionals.
The two foregoing properties allow us to introduce the following definition.

Definition 4
The conditional → is a Bradley indicative if it satisfies the Indicative Property and Additivity.
Our first result shows that if planning conditionals are Bradley indicatives, then the dynamic consistency of desirability maximization in a planning context is guaranteed. Before we establish this claim, however, we take note of a lemma, proven in Rothfus (2020), that will be useful to invoke as we consider the relationship between properties of the planning conditional and the dynamic coherence of desirability maximization.

Lemma 1 For any decision tree T , if n is a choice node in T and n
This lemma, which holds independently of how we opt to construe planning conditionals, establishes that the relative desirabilities of plans never shift following choice nodes. The only possible opportunities for dynamic inconsistency on the part of desirability maximizers arise following new disclosures of information by nature. To get an intuitive sense for why this is the case, note that, at any choice node, a plan specifies a particular choice to make at that node, and the significance of making this choice is already factored into the desirability maximizer's appraisal of the plan. Hence, the act of initiating the plan in question by selecting the option it recommends at that choice node can have no tendency to engender a preference reversal among plans. Thus, the only possible opportunities for dynamic inconsistency on the part of deisrability maximizers arise following new disclosures of information by nature.
With this lemma in hand, we turn to our key result:

Proposition 2 If the planning conditional is a Bradley indicative, then desirability maximization is dynamically consistent.
Proof Let a non-terminal node n in an arbitrary Bayesian decision tree T be fixed. Suppose that is a desirability maximal plan at n. All we need to convince ourselves of is that for any successor to n, say n , (n ) is either undefined (i.e. did not make arrival at n feasible) or desirability maximal at n . So, let n be a successor to n and let (n ) be defined. The node n is either a choice node or a natural node. If n is a choice node, (n ) is optimal at n , because choice selections never result in desirability reversals over plans (by Lemma 1 above). So we are left to consider the case where n is a natural node. In this case, is of the form ∧ i [S(n i ) → (n i )], where the n i are the possible successors to n. By Additivity, we know that: But this means that, for all ∈ (T , n): For, if any such inequality failed to hold, we could alter to form a new plan * exactly similar to except that it substitutes the more preferred conditional for the less. By Additivity, this would generate a more desirable plan, contradicting the assumption that is optimal at n. But then, by the Indicative Property, (2) entails that, for all ∈ (T , n): Subtracting V n (S(n i )) from both sides yields, by Conditional Desirability: Hence, for all n i ∈ N + (n) (and thus n , in particular): This completes the proof of the proposition.
Therefore, the features of the Bradley indicative are sufficient to ensure that a plan of maximal desirability at the outset of a sequential choice problem will continue to enjoy maximal desirability throughout the course of its implementation. 18 We can also prove a partial converse. Any agent whose attitudes towards planning conditionals violate the left-to-right component of the Indicative is liable to violate a stronger cousin of dynamic consistency that we might call Preference Stability.
Definition 5 An agent is preferentially stable in a decision tree T just in case, for all nodes n a and n b in T such that n a precedes n b along some branch of T , if p, p ∈ (T , n a ), p n b p , and p, p both make arrival at n b possible, then p(n b ) n b p (n b ), where n represents the agent's preferences at n. An agent is preferentially stable tout court just in case the agent is preferentially stable in all decision trees. 19 While this principle requires more than dynamic consistency, it is not without plausibility as a rationality constraint. There are at least two ways one might motivate it. First, taking desirability maximization as a choice policy, one might note that even if a dynamically consistent agent is practically guaranteed to implement whatever plan she initially sets her mind to, we might still hope that her rationality would minimize the losses associated with any hypothetical deviations from an optimal plan. For example, if a rational agent initially prefers a plan A to a plan B to a plan C, then conditional on failing to implement A, one might expect that a rational agent would still implement B over C, and the preservation of the agent's initial preference for B over C may support this. The (counterfactual) mistakes of a rational agent need not be haphazard. Second, desirabilities reflect judgments about the relative value of propositions considered as news items and these judgments plausibly ought to remain stable concerning plans, absent changing information about the structure of the planning problem an agent faces. If plan B is better news than plan C ex ante, it ought to remain so, conditional upon the receipt of information that plans B and C already take into account.

Proposition 3 If the planning conditional fails to satisfy left-to-right component of the Indicative Property with respect to a given desirability function, then an agent with that desiribility function will be preferentially unstable.
Proof Suppose that an agent's desirability function fails to conform to the left-to-right component of the Indicative Property with respect to the planning conditional. That is, let V be a desirability function and α, β, γ be propositions such that: To show that an agent with values represented by this desirability function is liable to preference instability it suffices to construct a decision tree in which the agent will be preferentially unstable. To do so, we will first consider the case where β and γ are incompatible propositions and then generalize.
Let z be the proposition expressing that α is true while β and γ are false, i.e. z = α(β ∨ γ ). Then, supposing β and γ are incompatible, the decision tree in Fig. 2 suffices to bring out the claimed preference instability: 20 At the initial node n 0 , there are three plans available to an agent facing this decision problem, corresponding to the conditionals: α → β, α → γ , α → z. We know, by assumption, that the plan α → β is preferred to the plan α → γ . But at n 1 , this preference is guaranteed to reverse conditional upon reaching n 1 . To see this, note that the continuation of α → β at n 1 is αβ, while the continuation of α → γ is αγ . We know, by assumption, that: But this implies that: This is, by definition: Assuming that updating of desirabilities goes by conditionalization, we then have: This suffices to establish the violation of Preference Stability on the assumption that β ∧ γ = ⊥.  20 If β and γ suffice to partition α, z will be a contradiction and can be pruned from the tree.
If β and γ are not incompatible, however, T 2 will be an ill formed decision tree. Nonetheless, we may assume that this is not the case since an arbitrary violation of the Indicative Property always implies a violation of the Indicative Property with respect to a pair of consequents that are mutually exclusive (assuming closure of the agent's alegebra under the relevant logical operations) 21 and we can thus take β and γ to be such a pair. To prove that this is the case, suppose that β and γ were not incompatible. We then have three cases to consider: (i) β γ (ii) γ β and (iii) γ β and β γ . We handle these cases in turn.

Conclusion
Richard Bradley's work on conditionals constitutes a welcome and useful resource for decision theorists as they investigate various normative questions. We hope to have shown that not least among such questions are ones concerning planning and dynamic choice. Within a Jeffrey-style framework, Bradley's conditional operators offer a convenient way to model the plans available to an agent confronted with a sequential choice problem. Moreover, the properties of the employed conditionals are logically tied to the dynamic consistency (or lack thereof) of desirability maximization as a planning policy. The dynamic consistency of desirability maximization is assured whenever rational attitudes towards planning conditionals conform to the properties Bradley ascribes to indicatives, namely, Additivity and the Indicative Property. Moreover, satisfaction of the left-to-right component of the Indicative Property is necessary for a closely related sort of sequential coherence, namely, preference stability.
What we have sketched here is really an invitation to further inquiry regarding the interplay between the dynamic consistency of desirability maximization and the properties of planning conditionals. There are (at least) two open routes one might take in pursuing such further inquiry. First, one might attend more closely than we have to the nature of human planning and consider more fully what sort of conditionals we should employ to model such planning. We have suggested above some intuitive rationale for taking an indicative reading of planning conditionals, but there may also be rationale's for alternate readings and the implications of such other proposals for the dynamic consistency of desirability maximization have yet to be drawn out.
Secondly, one might take the desiderata of dynamic consistency and/or preference stability for granted and investigate further the properties that planning conditionals must satisfy in light of this demand. As we have shown, the Indicative Property and Additivty suffice for the satisfaction of dynamic consistency, while the Indicative Property is (at least partially) necessary for preference stability. Might we be able to say more than this and to formulate plausible constraints upon planning conditionals that are individually necessary and jointly sufficient for the dynamic consistency and/or preference stability of desirability maximization?
Of course, the interest of these projects may be somewhat lessened for those that believe that desirability maximization is not an adequate account of rational choice (which may be so if certain versions of causal decision theory are correct). As mentioned earlier, desirability still measures an interesting conative attitude that rational agents take toward prospects, which one might plausibly expect to be dynamically consistent over time in much the sense sketched above, even if it is not a fully adequate measure of the choice-worthiness of options. The investigation of dynamic consistency in the Bradley-Jeffrey framework initiated here is then of value independently of any resolution of the causal versus evidential debate in decision theory, as are, we believe, the extensions of this work suggested above.