An admissibility criterion for inference rules with metavariables in the modal logic S4.
Sibirskij Matematicheskij Zhurnal, Tome 48 (2007) no. 2, p. 396.

Voir la notice de l'article dans European Digital Mathematics Library

Classification : 03B45
Mots-clés : admissible inference rule, metavariable, modal logic, inference rule 
@article{SMZ_2007__48_2_55566,
     author = {Rutskij, A.N.},
     title = {An admissibility criterion for inference rules with metavariables in the modal logic {S4.}},
     journal = {Sibirskij Matematicheskij Zhurnal},
     pages = {396},
     publisher = {mathdoc},
     volume = {48},
     number = {2},
     year = {2007},
     zbl = {1164.03303},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55566/}
}
TY  - JOUR
AU  - Rutskij, A.N.
TI  - An admissibility criterion for inference rules with metavariables in the modal logic S4.
JO  - Sibirskij Matematicheskij Zhurnal
PY  - 2007
SP  - 396
VL  - 48
IS  - 2
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55566/
LA  - en
ID  - SMZ_2007__48_2_55566
ER  - 
%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
Rutskij, A.N. An admissibility criterion for inference rules with metavariables in the modal logic S4.. Sibirskij Matematicheskij Zhurnal, Tome 48 (2007) no. 2, p. 396. https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55566/