Studia Logica 44 (1):79 - 85 (1985)
| Authors | |
| Abstract |
The main results of the paper are the following: For each monadic prepositional formula which is classically true but not intuitionistically so, there is a continuum of intuitionistic monotone modal logics L such that L+ is inconsistent.There exists a consistent intuitionistic monotone modal logic L such that for any formula of the kind mentioned above the logic L+ is inconsistent.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF00370811 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
On Formulas of One Variable in Intuitionistic Propositional Calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.
Some Embedding Theorems for Modal Logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
Intuitionistic Modal Logics Incompatible with the Law of the Excluded Middle.Dimiter Vakarelov - 1981 - Studia Logica 40 (2):103 - 111.
Citations of this work BETA
No citations found.
Similar books and articles
Intuitionistic Modal Logics Incompatible with the Law of the Excluded Middle.Dimiter Vakarelov - 1981 - Studia Logica 40 (2):103 - 111.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Models for Normal Intuitionistic Modal Logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Superintuitionistic Companions of Classical Modal Logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Models for Stronger Normal Intuitionistic Modal Logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Analytics
Added to PP index
2009-01-28
Total views
25 ( #407,066 of 2,385,661 )
Recent downloads (6 months)
1 ( #560,301 of 2,385,661 )
2009-01-28
Total views
25 ( #407,066 of 2,385,661 )
Recent downloads (6 months)
1 ( #560,301 of 2,385,661 )
How can I increase my downloads?
Downloads
