Towards intuitionistic dynamic logic
DOI:
https://doi.org/10.12775/LLP.2006.018Słowa kluczowe
existential property, propositional dynamic logic, intuitionistic modal logic, completeness problem, failure of negative interpretationAbstrakt
We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.Bibliografia
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.
Pobrania
Opublikowane
15.03.2007
Jak cytować
1.
DEGEN, J. W. & WERNER, J. M. Towards intuitionistic dynamic logic. Logic and Logical Philosophy [online]. 15 marzec 2007, T. 15, nr 4, s. 305–324. [udostępniono 4.7.2025]. DOI 10.12775/LLP.2006.018.
Numer
Dział
Artykuły
Statystyki
Liczba wyświetleń i pobrań: 645
Liczba cytowań: 0
