Towards intuitionistic dynamic logic

J. W. Degen, J. M. Werner



We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.


existential property; propositional dynamic logic; intuitionistic modal logic; completeness problem; failure of negative interpretation

Full Text:



Gisele Fischer-Servi, “On modal logic with an intuitionistic base”, Studia Logica 36(4) (1976), 141–149.

D. Harel, D. Kozen, and J. Tiuryn, Dynamic Logic, The MIT Press, London, 2000.

Dag Prawitz, “Some results for intuitionistic logic with second order quantifiers”, in J. Myhill et al (eds.), Intuitionism and Proof Theory, Proc. of the Summer Conference at Buffalo 1968, North-Holland, 1970, pp. 259–269.

G. Takeuti, Proof Theory, North-Holland, second edition, 1987.

A.S. Troelstra and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, second edition, 2000.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism