Došen, Kosta Negative modal operators in intuitionistic logic. (English) Zbl 0555.03011 Publ. Inst. Math., Nouv. Sér. 35(49), 3-14 (1984). Modal operators which correspond to impossibility and non-necessity are investigated in systems analogous to the modal logic K which are based on the Heyting propositional calculus. Soundness and completeness are proved with respect to Kripke-style models with two accessibility relations, one intuitionistic and the other modal. A system where impossibility is equivalent to intuitionistic negation is also proved sound and complete with respect to specific classes of models with two relations. It is shown how the holding of formulae characteristic for this system is equivalent to conditions for the relations of the models. As impossibility corresponds to intuitionistic negation, non-necessity corresponds to an operator dual to intuitionistic negation, which is called Brouwerian negation [see C. Rauszer, Diss. Math. 167 (1980; Zbl 0442.03024)]. Cited in 18 Documents MSC: 03B45 Modal logic (including the logic of norms) Keywords:intuitionistic propositional logic; Kripke models; impossibility; non- necessity; modal logic; intuitionistic negation Citations:Zbl 0442.03024 PDFBibTeX XMLCite \textit{K. Došen}, Publ. Inst. Math., Nouv. Sér. 35(49), 3--14 (1984; Zbl 0555.03011) Full Text: EuDML