Winter, Y. Karttunen Logic for Presupposition Projection. SuB 2021, 25, 873-890.