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

@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 -