Heterogeneous Dynamic Logic: Provability Modulo Program Theories
We introduce Heterogeneous Dynamic Logic (HDL), a framework for combining reasoning principles from distinct (dynamic) program logics in a modular and compositional way. HDL mirrors the architecture of satisfiability modulo theories (SMT)
11. Jul 2025