Logic and Logical Philosophy 15 (4):305-324 (2006)

Abstract
We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems
Keywords completeness problem  propositional dynamic logic  failure of negative interpretation  intuitionistic modal logic  existential property
Categories (categorize this paper)
Reprint years 2007
DOI 10.12775/LLP.2006.018
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,172
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

From Positive PDL to its Non-Classical Extensions.Igor Sedlár & Vít Punčochář - 2019 - Logic Journal of the IGPL 27 (4):522-542.

Add more citations

Similar books and articles

Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
A Propositional Dynamic Logic with Qualitative Probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
Negationless Intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.

Analytics

Added to PP index
2013-11-24

Total views
19 ( #584,712 of 2,517,879 )

Recent downloads (6 months)
1 ( #409,482 of 2,517,879 )

How can I increase my downloads?

Downloads

My notes