أرسل هذا في رسالة قصيرة: Possible worlds semantics for indicative and counterfactual conditionals?