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 25 January 2026]. DOI 10.12775/LLP.2006.018.