Models for normal intuitionistic modal logics

Autor:	Milan Božić, Kosta Došen
Rok vydání:	1984
Předmět:	Discrete mathematics Logic Normal modal logic Multimodal logic Modal logic Intermediate logic Intuitionistic logic Modal operator S5 Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES History and Philosophy of Science Accessibility relation Mathematics
Zdroj:	Studia Logica. 43:217-245
ISSN:	1572-8730 0039-3215
DOI:	10.1007/bf02429840
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0871513382f37c593fb7ffddff50a881 https://doi.org/10.1007/bf02429840 Zobrazit plný text záznamu Full text from SpringerLink