%0 Journal Article
%A Kosta Došen
%T Higher-level Sequent-systems for Intuitionistic Modal Logic
%J Publications de l'Institut Mathématique
%D 1986
%P 3 
%V _N_S_39
%N 53
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1986_N_S_39_53_a0/
%G en
%F PIM_1986_N_S_39_53_a0