Towards intuitionistic dynamic logic

Authors

  • J. W. Degen Friedrich-Alexander Universität Erlangen-Nürnberg, Erlangen
  • J. M. Werner Friedrich-Alexander Universität Erlangen-Nürnberg, Erlangen

DOI:

https://doi.org/10.12775/LLP.2006.018

Keywords

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

Abstract

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

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.

Logic and Logical Philosophy

Downloads

Published

2007-03-15

How to Cite

1.
DEGEN, J. W. & WERNER, J. M. Towards intuitionistic dynamic logic. Logic and Logical Philosophy [online]. 15 March 2007, T. 15, nr 4, s. 305–324. [accessed 31.3.2023]. DOI 10.12775/LLP.2006.018.

Issue

Vol. 15 No. 4 (2006)

Section

Articles

Stats

Number of views and downloads: 207
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC