Studia Logica 43 (3):217 - 245 (1984)
Authors | |
Abstract |
Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given for analogues of the modal systemK based on Heyting's prepositional logic. It is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddings in modal systems with several modal operators, based on classical propositional logic, are also considered. This paper lays the ground for an investigation of intuitionistic analogues of systems stronger thanK. A brief survey is given of the existing literature on intuitionistic modal logic.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1007/BF02429840 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Foundations of Mathematical Logic.Haskell Brooks Curry - 1963 - New York, NY, USA: Dover Publications.
View all 29 references / Add more references
Citations of this work BETA
The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.
The Church–Fitch Knowability Paradox in the Light of Structural Proof Theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2012 - Synthese 190 (14):2677-2716.
Diamonds Are a Philosopher's Best Friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
View all 32 citations / Add more citations
Similar books and articles
Models for Stronger Normal Intuitionistic Modal Logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
An Application of Rieger-Nishimura Formulas to the Intuitionistic Modal Logics.Dimiter Vakarelov - 1985 - Studia Logica 44 (1):79 - 85.
Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
A First Approach to Abstract Modal Logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.
A Uniform Tableau Method for Intuitionistic Modal Logics I.Giambattista Amati & Fiora Pirri - 1994 - Studia Logica 53 (1):29 - 60.
Analytics
Added to PP index
2009-01-28
Total views
69 ( #164,750 of 2,499,006 )
Recent downloads (6 months)
1 ( #421,180 of 2,499,006 )
2009-01-28
Total views
69 ( #164,750 of 2,499,006 )
Recent downloads (6 months)
1 ( #421,180 of 2,499,006 )
How can I increase my downloads?
Downloads