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