Minimal modal systems in which Heyting and classical logic can be embedded.

Dosen, Kosta. "Minimal modal systems in which Heyting and classical logic can be embedded.." Publications de l'Institut Mathématique. Nouvelle Série 30(44) (1981): 41-52. <http://eudml.org/doc/257591>.

@article{Dosen1981,
author = {Dosen, Kosta},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {modal logic; McKinsey-Tarski translation; Goedel translation},
language = {eng},
pages = {41-52},
publisher = {Izdaje Matematički Institut SANU},
title = {Minimal modal systems in which Heyting and classical logic can be embedded.},
url = {http://eudml.org/doc/257591},
volume = {30(44)},
year = {1981},
}

TY - JOUR
AU - Dosen, Kosta
TI - Minimal modal systems in which Heyting and classical logic can be embedded.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1981
PB - Izdaje Matematički Institut SANU
VL - 30(44)
SP - 41
EP - 52
LA - eng
KW - modal logic; McKinsey-Tarski translation; Goedel translation
UR - http://eudml.org/doc/257591
ER -