TY  - RPRT
TI  - Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
AU  - Manfred Borzechowski
AU  - Malvin Gattinger
AU  - Helle Hvid Hansen
AU  - Revantha Ramanayake
AU  - Francisco Trucco Dalmas
AU  - Yde Venema
PY  - 2026
UR  - https://arxiv.org/abs/2503.13276
ID  - 2503.13276
ER  -