@misc{indiciaee1d563230288,
  title = {Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof},
  author = {Manfred Borzechowski and Malvin Gattinger and Helle Hvid Hansen and Revantha Ramanayake and Francisco Trucco Dalmas and Yde Venema},
  year = {2026},
  url = {https://arxiv.org/abs/2503.13276},
  note = {Source identifier: 2503.13276}
}