An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.

Rimatskiĭ, V.V.. "An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.." Sibirskij Matematicheskij Zhurnal 50.4 (2009): 872-882. <http://eudml.org/doc/222541>.

@article{Rimatskiĭ2009,
author = {Rimatskiĭ, V.V.},
journal = {Sibirskij Matematicheskij Zhurnal},
keywords = {modal logic; Kripke frame; Kripke model; admissible inference rule; basis for admissible rules},
language = {eng},
number = {4},
pages = {872-882},
publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki},
title = {An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.},
url = {http://eudml.org/doc/222541},
volume = {50},
year = {2009},
}

TY - JOUR
AU - Rimatskiĭ, V.V.
TI - An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.
JO - Sibirskij Matematicheskij Zhurnal
PY - 2009
PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki
VL - 50
IS - 4
SP - 872
EP - 882
LA - eng
KW - modal logic; Kripke frame; Kripke model; admissible inference rule; basis for admissible rules
UR - http://eudml.org/doc/222541
ER -