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

Heikki Tuominen (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics