%0 Journal Article
%A Rutskij, A.N.
%T An admissibility criterion for inference rules with metavariables in the modal logic S4.
%J Sibirskij Matematicheskij Zhurnal
%D 2007
%P 396
%V 48
%N 2
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55566/
%G en
%F SMZ_2007__48_2_55566