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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,172
External links
- From the Publisher via CrossRef (no proxy)
- apcz.umk.pl
(no proxy) - citeseerx.ist.psu.edu (no proxy)
- wydawnictwoumk.pl (no proxy)
- wydawnictwoumk.pl [2] (no proxy)
- wydawnictwoumk.pl [3] (no proxy)
- wydawnictwoumk.pl [4] (no proxy)
- wydawnictwoumk.pl [5] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
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.
Similar books and articles
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
On the Polynomial-Space Completeness of Intuitionistic Propositional Logic.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (7):711-716.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Models for Normal Intuitionistic Modal Logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
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.
A Secondary Semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Intuitionistic Autoepistemic Logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
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 )
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
