A complete uniform substitution calculus for differential dynamic logic

@ARTICLE{DBLP:journals/jar/Platzer17,
	pdf = {https://link.springer.com/content/pdf/10.1007/s10817-016-9385-1.pdf},

  author    = {Andr{\'e} Platzer},
  title     = {A Complete Uniform Substitution Calculus
               for Differential Dynamic Logic},
  journal   = {J. Autom. Reas.},
  longjournal = {Journal of Automated Reasoning},
  year      = {2017},
  volume    = {59},
  number    = {2},
  pages     = {219-265},
  doi       = {10.1007/s10817-016-9385-1},
}```