Towards intuitionistic dynamic logic

J. W. Degen, J. M. Werner

DOI: http://dx.doi.org/10.12775/LLP.2006.018

Abstract


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

Keywords


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

Full Text:

PDF

References


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.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism