We now look at an axiomatization that formalizes some examples of counterfactuals in a skiing domain. We sketch a formalization of skiing, which includes both some facts about lessons, and some facts about what happens when you ski. The analysis is designed to highlight several points. Co-ordinate frames give a simple way of defining semantics for counterfactuals.
Different frames are appropriate for different points of view.
Different frames can lead to different counterfactuals. We consider four counterfactuals. The first two are from our previously mentioned two ski instructors. Before we consider the counterfactuals, we consider the following story. Junior had 25 dollars.