Negative Modal Operators in Intuitionistic Logic
Publications de l'Institut Mathématique (1984)
- Volume: 35(49), Issue: 55, page 3-15
- ISSN: 0350-1302
Access Full Article
top
How to cite
topKosta Došen. "Negative Modal Operators in Intuitionistic Logic." Publications de l'Institut Mathématique 35(49).55 (1984): 3-15. <http://eudml.org/doc/255086>.
@article{KostaDošen1984,
author = {Kosta Došen},
journal = {Publications de l'Institut Mathématique},
keywords = {intuitionistic propositional logic; Kripke models; impossibility; non- necessity; modal logic; intuitionistic negation},
language = {eng},
number = {55},
pages = {3-15},
publisher = {Matematički institut SANU},
title = {Negative Modal Operators in Intuitionistic Logic},
url = {http://eudml.org/doc/255086},
volume = {35(49)},
year = {1984},
}
TY - JOUR
AU - Kosta Došen
TI - Negative Modal Operators in Intuitionistic Logic
JO - Publications de l'Institut Mathématique
PY - 1984
PB - Matematički institut SANU
VL - 35(49)
IS - 55
SP - 3
EP - 15
LA - eng
KW - intuitionistic propositional logic; Kripke models; impossibility; non- necessity; modal logic; intuitionistic negation
UR - http://eudml.org/doc/255086
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.