Negative modal operators in intuitionistic logic.

Došen, Kosta. "Negative modal operators in intuitionistic logic.." Publications de l'Institut Mathématique. Nouvelle Série 35(49) (1984): 3-14. <http://eudml.org/doc/117343>.

@article{Došen1984,
author = {Došen, Kosta},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {intuitionistic propositional logic; Kripke models; impossibility; non- necessity; modal logic; intuitionistic negation},
language = {eng},
pages = {3-14},
publisher = {Izdaje Matematički Institut SANU},
title = {Negative modal operators in intuitionistic logic.},
url = {http://eudml.org/doc/117343},
volume = {35(49)},
year = {1984},
}

TY - JOUR
AU - Došen, Kosta
TI - Negative modal operators in intuitionistic logic.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1984
PB - Izdaje Matematički Institut SANU
VL - 35(49)
SP - 3
EP - 14
LA - eng
KW - intuitionistic propositional logic; Kripke models; impossibility; non- necessity; modal logic; intuitionistic negation
UR - http://eudml.org/doc/117343
ER -