Geodesic
Independent bases for admissible rules of pretabular modal logic and its extensions
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 10 (2013), pp. 79-89

Voir la notice de l'article provenant de la source Math-Net.Ru

We obtain independent bases for admissible inference rules of pretabular modal logics PT2, PT3 and all its extensions. Also we describe such bases for global admissible rules of logics PT2, PT3.
Keywords: (pretabular) modal logic, frame (model) Kripke, admissible inference rule, basуs for admissible rules. 
@article{SEMR_2013_10_a5,
     author = {V. V. Rimatskii and V. R. Kiyatkin},
     title = {Independent bases for admissible rules of pretabular modal logic and its extensions},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {79--89},
     publisher = {mathdoc},
     volume = {10},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/}
}
TY  - JOUR
AU  - V. V. Rimatskii
AU  - V. R. Kiyatkin
TI  - Independent bases for admissible rules of pretabular modal logic and its extensions
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2013
SP  - 79
EP  - 89
VL  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/
LA  - ru
ID  - SEMR_2013_10_a5
ER  - 
%0 Journal Article
%A V. V. Rimatskii
%A V. R. Kiyatkin
%T Independent bases for admissible rules of pretabular modal logic and its extensions
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2013
%P 79-89
%V 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/
%G ru
%F SEMR_2013_10_a5
V. V. Rimatskii; V. R. Kiyatkin. Independent bases for admissible rules of pretabular modal logic and its extensions. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 10 (2013), pp. 79-89. http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/