Higher-level Sequent-systems for Intuitionistic Modal Logic

Kosta Došen

Publications de l'Institut Mathématique (1986)

  • Volume: 39(53), Issue: 59, page 3-12
  • ISSN: 0350-1302

How to cite

top

Kosta 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 ?

top

You must be logged in to post comments.