Haldimann, Jonas, Christoph Beierle, Gabriele Kern-Isberner, and Thomas Meyer. 2023. “Conditionals, Infeasible Worlds, and Reasoning With System W”. The International FLAIRS Conference Proceedings 36 (1). https://doi.org/10.32473/flairs.36.133268.