Possible worlds semantics for indicative and counterfactual conditionals? a formal philosophical inquiry into Chellas-Segerberg semantics - Unterhuber, Matthias. (Logos ;, 2013)