TY  - JOUR
AU  - V. V. Rybakov
TI  - Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$
JO  - Matematičeskie zametki
PY  - 1991
SP  - 84
EP  - 91
VL  - 50
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1991_50_1_a9/
LA  - ru
ID  - MZM_1991_50_1_a9
ER  -