Degen JW, Werner JM. Towards intuitionistic dynamic logic. LLP [Internet]. 2007 Mar. 15 [cited 2025 Dec. 25];15(4):305-24. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2006.018