Rönnedal, D. Counterfactuals and Semantic Tableaux. LLP 2009, 18, 71-91.