An admissibility criterion for inference rules with metavariables in the modal logic S4$·{\alpha }_N$.

@article{Rutskij2007,
author = {Rutskij, A.N.},
journal = {Sibirskij Matematicheskij Zhurnal},
keywords = {admissible inference rule; metavariable; modal logic; inference rule},
language = {eng},
number = {2},
pages = {396-407},
publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki},
title = {An admissibility criterion for inference rules with metavariables in the modal logic S4.},
url = {http://eudml.org/doc/55566},
volume = {48},
year = {2007},
}

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
PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki
VL - 48
IS - 2
SP - 396
EP - 407
LA - eng
KW - admissible inference rule; metavariable; modal logic; inference rule
UR - http://eudml.org/doc/55566
ER -