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