Degen, J. W., and J. M. Werner. 2007. “Towards Intuitionistic Dynamic Logic”. Logic and Logical Philosophy 15 (4):305-24. https://doi.org/10.12775/LLP.2006.018.