Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof. - Manfred Borzechowski; Malvin Gattinger; Helle Hvid Hansen; Revantha Ramanayake; Valentina Trucco Dalmas; Yde Venema (CoRR, 2025)