@article{teuber2025heterogeneousdynamiclogicprovability,
  author    = {Teuber, Samuel and
               Ulbrich, Mattias and
               Platzer, Andr{\'{e}} and
               Beckert, Bernhard},
  title     = {Heterogeneous Dynamic Logic: Provability Modulo Program Theories},
  journal      = {Proc. {ACM} Program. Lang.},
  number       = {PLDI},
  year         = {2026},
  doi       = {10.1145/3808295},
  editor    = {Manu Sridharan},
  eprinttype    = {arXiv},
  eprint       = {2507.08581}
}