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