scientific article; zbMATH DE number 3981153

MaRDI QIDQ3745828zbMATH OpenFDO

Authors Kosta Došen

Publication date 1986

zbMATH Keywords

intuitionistic logicS5Barcan formulanecessity operatorintuitionistic modal logicsKripke-style modelspropositional calculimodal translationsdouble-negation translationsembedding of classical logic in Heyting's logicembedding of Heyting's logic in S4Heyting's first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Modal translations in substructural logics
• Paraconsistent double negation as a modal operator
• The axiomatic translation principle for modal logic
• scientific article; zbMATH DE number 3884136
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• scientific article; zbMATH DE number 7297837
• Dual-context calculi for modal logic
• On modal renderings of intuitionistic propositional logic
• Modality and possibility in some intuitionistic modal logics

Cited in

(17)

• Paraconsistent double negation as a modal operator
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• The first axiomatization of relevant logic
• Negative Translations and Duality: Toward a Unified Approach
• A simple embedding of T into double S5
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• scientific article; zbMATH DE number 60832 (Why is no real title available?)
• Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC
• scientific article; zbMATH DE number 4170862 (Why is no real title available?)
• scientific article; zbMATH DE number 218532 (Why is no real title available?)
• A modal logic amalgam of classical and intuitionistic propositional logic
• Applicability of Motohashi's method to modal logics
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• A simplified embedding of E into monomodal K
• The Russell-Prawitz modality
• scientific article; zbMATH DE number 3884137 (Why is no real title available?)
• From intuitionism to Brouwer's modal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3745828)