scientific article; zbMATH DE number 3981153

zbMATH Open0607.03006MaRDI QIDQ3745828FDOQ3745828

Authors: Kosta Došen 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (17)

• Paraconsistent double negation as a modal operator
• Title not available (Why is that?)
• Negative Translations and Duality: Toward a Unified Approach
• The first axiomatization of relevant logic
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Title not available (Why is that?)
• A simple embedding of T into double S5
• Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)