Haldimann, J.; Beierle, C.; Kern-Isberner, G.; Meyer, T. Conditionals, Infeasible Worlds, and Reasoning With System W. FLAIRS 2023, 36.