Geodesic
Intuitionistic Double Negation as a Necessity Operator
Publications de l'Institut Mathématique, _N_S_35 (1984) no. 49, p. 15 .

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

An intuitionistic propositional modal logic in which we have a necessity operator equivalent to intuitionistic double negation is proved sound and complete with respect to Kripke-style models with two relations, one intuitionistic and the other modal. It is shown how the holding of formulae characteristic for this logic is equivalent to conditions for the relations of the models.
Classification : 03B45 
@article{PIM_1984_N_S_35_49_a1,
     author = {Kosta Do\v{s}en},
     title = {Intuitionistic {Double} {Negation} as a {Necessity} {Operator}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {15 },
     publisher = {mathdoc},
     volume = {_N_S_35},
     number = {49},
     year = {1984},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a1/}
}
TY  - JOUR
AU  - Kosta Došen
TI  - Intuitionistic Double Negation as a Necessity Operator
JO  - Publications de l'Institut Mathématique
PY  - 1984
SP  - 15 
VL  - _N_S_35
IS  - 49
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a1/
LA  - en
ID  - PIM_1984_N_S_35_49_a1
ER  - 
%0 Journal Article
%A Kosta Došen
%T Intuitionistic Double Negation as a Necessity Operator
%J Publications de l'Institut Mathématique
%D 1984
%P 15 
%V _N_S_35
%N 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a1/
%G en
%F PIM_1984_N_S_35_49_a1
Kosta Došen. Intuitionistic Double Negation as a Necessity Operator. Publications de l'Institut Mathématique, _N_S_35 (1984) no. 49, p. 15 . http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a1/