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
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: 58,834
External links

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

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Time and Modality.A. N. PRIOR - 1955 - Greenwood Press.
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.

View all 29 references / Add more references

Citations of this work BETA

Diamonds Are a Philosopher's Best Friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.
Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.
Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.

View all 28 citations / Add more citations

Similar books and articles

Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
A First Approach to Abstract Modal Logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.
On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Abstract Modal Logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.

Analytics

Added to PP index
2009-01-28

Total views
69 ( #148,019 of 2,426,001 )

Recent downloads (6 months)
3 ( #246,673 of 2,426,001 )

How can I increase my downloads?

Downloads

My notes