@article{Degen_Werner_2007, title={Towards intuitionistic dynamic logic}, volume={15}, url={https://apcz.umk.pl/LLP/article/view/LLP.2006.018}, DOI={10.12775/LLP.2006.018}, abstractNote={We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.}, number={4}, journal={Logic and Logical Philosophy}, author={Degen, J. W. and Werner, J. M.}, year={2007}, month={Mar.}, pages={305–324} }