Bases of admissible inference rules of the modal logics S4.2 and S4.2Grz
Algebra i logika, Tome 32 (1993) no. 2, pp. 117-130
@article{AL_1993_32_2_a0,
author = {S. V. Babenyshev},
title = {Bases of admissible inference rules of the modal logics {S4.2} and {S4.2Grz}},
journal = {Algebra i logika},
pages = {117--130},
year = {1993},
volume = {32},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1993_32_2_a0/}
}
S. V. Babenyshev. Bases of admissible inference rules of the modal logics S4.2 and S4.2Grz. Algebra i logika, Tome 32 (1993) no. 2, pp. 117-130. http://geodesic.mathdoc.fr/item/AL_1993_32_2_a0/