Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic | IEEE Conference Publication | IEEE Xplore