Preservation of admissibility of inference rules in the logics similar to S4. 2.

Rybakov, V.V., and Rimatskij, V.V.. "Preservation of admissibility of inference rules in the logics similar to S4. 2.." Sibirskij Matematicheskij Zhurnal 43.2 (2002): 446-453 (2002); translation in Sib. Math. J. 43. <http://eudml.org/doc/49927>.

@article{Rybakov2002,
author = {Rybakov, V.V., Rimatskij, V.V.},
journal = {Sibirskij Matematicheskij Zhurnal},
keywords = {admissible inference rule; decidability; modal logic},
language = {eng},
number = {2},
pages = {446-453 (2002); translation in Sib. Math. J. 43},
publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki},
title = {Preservation of admissibility of inference rules in the logics similar to S4. 2.},
url = {http://eudml.org/doc/49927},
volume = {43},
year = {2002},
}

TY - JOUR
AU - Rybakov, V.V.
AU - Rimatskij, V.V.
TI - Preservation of admissibility of inference rules in the logics similar to S4. 2.
JO - Sibirskij Matematicheskij Zhurnal
PY - 2002
PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki
VL - 43
IS - 2
SP - 446
EP - 453 (2002); translation in Sib. Math. J. 43
LA - eng
KW - admissible inference rule; decidability; modal logic
UR - http://eudml.org/doc/49927
ER -