An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.
Rimatskiĭ, V.V.
Sibirskij Matematicheskij Zhurnal, Tome 50 (2009), p. 872-882 / Harvested from The Electronic Library of Mathematics
Publié le : 2009-01-01
EUDML-ID : urn:eudml:doc:222541
@article{05875550,
     title = {An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.},
     journal = {Sibirskij Matematicheskij Zhurnal},
     volume = {50},
     year = {2009},
     pages = {872-882},
     zbl = {1224.03003},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05875550}
}
Rimatskiĭ, V.V. An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.. Sibirskij Matematicheskij Zhurnal, Tome 50 (2009) pp. 872-882. http://gdmltest.u-ga.fr/item/05875550/