Degen, J. W. and Werner, J. M. (2007) “Towards intuitionistic dynamic logic”, Logic and Logical Philosophy, 15(4), pp. 305–324. doi: 10.12775/LLP.2006.018.