# An inheritance criterion for the admissible inference rules of K4.

Rutskij, A.N.; Fedorishin, B.R.

Sibirskij Matematicheskij Zhurnal (2002)

- Volume: 43, Issue: 6, page 1350-1361 (2002); translation in Sib. Math. J. 43
- ISSN: 0037-4474

## Access Full Article

top## How to cite

topRutskij, 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.