An inheritance criterion for the admissible inference rules of K4.

Rutskij, A.N., and Fedorishin, B.R.. "An inheritance criterion for the admissible inference rules of K4.." Sibirskij Matematicheskij Zhurnal 43.6 (2002): 1350-1361 (2002); translation in Sib. Math. J. 43. <http://eudml.org/doc/49885>.

@article{Rutskij2002,
author = {Rutskij, A.N., Fedorishin, B.R.},
journal = {Sibirskij Matematicheskij Zhurnal},
keywords = {inference rule; modal logic; finitely approximable logic; admissible inference rule; frame},
language = {eng},
number = {6},
pages = {1350-1361 (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 = {An inheritance criterion for the admissible inference rules of K4.},
url = {http://eudml.org/doc/49885},
volume = {43},
year = {2002},
}

TY - JOUR
AU - Rutskij, A.N.
AU - Fedorishin, B.R.
TI - An inheritance criterion for the admissible inference rules of K4.
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 - 6
SP - 1350
EP - 1361 (2002); translation in Sib. Math. J. 43
LA - eng
KW - inference rule; modal logic; finitely approximable logic; admissible inference rule; frame
UR - http://eudml.org/doc/49885
ER -