A Fragment of Intuitionistic Dynamic Logic.

Sergio A. Celani A Fragment of Intuitionistic Dynamic Logic. 187-197 2001 46 Fundam. Inform. 3 db/journals/fuin/fuin46.html#Celani01