%0 Journal Article %A V. V. Rybakov %T Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$ %J Matematičeskie zametki %D 1991 %P 84-91 %V 50 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/MZM_1991_50_1_a9/ %G ru %F MZM_1991_50_1_a9