DEGEN, J. W. and WERNER, J. M. Towards intuitionistic dynamic logic. Logic and Logical Philosophy. Online. 15 March 2007. Vol. 15, no. 4, pp. 305-324. [Accessed 5 July 2025]. DOI 10.12775/LLP.2006.018.