Geodesic
Negative Modal Operators in Intuitionistic Logic
Publications de l'Institut Mathématique, _N_S_35 (1984) no. 49, p. 3

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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.
Classification : 03B45 
@article{PIM_1984_N_S_35_49_a0,
     author = {Kosta Do\v{s}en},
     title = {Negative {Modal} {Operators} in {Intuitionistic} {Logic}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {3 },
     publisher = {mathdoc},
     volume = {_N_S_35},
     number = {49},
     year = {1984},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a0/}
}
TY  - JOUR
AU  - Kosta Došen
TI  - Negative Modal Operators in Intuitionistic Logic
JO  - Publications de l'Institut Mathématique
PY  - 1984
SP  - 3 
VL  - _N_S_35
IS  - 49
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a0/
LA  - en
ID  - PIM_1984_N_S_35_49_a0
ER  - 
%0 Journal Article
%A Kosta Došen
%T Negative Modal Operators in Intuitionistic Logic
%J Publications de l'Institut Mathématique
%D 1984
%P 3 
%V _N_S_35
%N 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a0/
%G en
%F PIM_1984_N_S_35_49_a0
Kosta Došen. Negative Modal Operators in Intuitionistic Logic. Publications de l'Institut Mathématique, _N_S_35 (1984) no. 49, p. 3 . http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a0/