Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic.

Heikki Tuominen

Browse the full CADE paper archive.