Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic.

Daniel Leivant

Browse the full LICS paper archive.