A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.

Bernhard Beckert, Steffen Schlager

Browse the full CADE paper archive.