Higher-level Sequent-systems for Intuitionistic Modal Logic
Publications de l'Institut Mathématique (1986)
- Volume: 39(53), Issue: 59, page 3-12
- ISSN: 0350-1302
Access Full Article
top
How to cite
topKosta Došen. "Higher-level Sequent-systems for Intuitionistic Modal Logic." Publications de l'Institut Mathématique 39(53).59 (1986): 3-12. <http://eudml.org/doc/258513>.
@article{KostaDošen1986,
author = {Kosta Došen},
journal = {Publications de l'Institut Mathématique},
keywords = {higher-level sequent formulation of S5; single-conclusion property; Heyting S5; Heyting S4; Kripke-style; models},
language = {eng},
number = {59},
pages = {3-12},
publisher = {Matematički institut SANU},
title = {Higher-level Sequent-systems for Intuitionistic Modal Logic},
url = {http://eudml.org/doc/258513},
volume = {39(53)},
year = {1986},
}
TY - JOUR
AU - Kosta Došen
TI - Higher-level Sequent-systems for Intuitionistic Modal Logic
JO - Publications de l'Institut Mathématique
PY - 1986
PB - Matematički institut SANU
VL - 39(53)
IS - 59
SP - 3
EP - 12
LA - eng
KW - higher-level sequent formulation of S5; single-conclusion property; Heyting S5; Heyting S4; Kripke-style; models
UR - http://eudml.org/doc/258513
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.