Literature cited
L. L. Maksimova and V. V. Rybakov, "On the lattice of normal modal logics," Algebra Logika,13, No. 2, 188–216 (1974).
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
V. V. Rybakov, "Admissible rules of pretabular modal logics," Algebra Logika,20, No. 4, 404–464 (1981).
V. V. Rybakov, "Decidability of the admissibility problem in finite-fiber modal logics," Algebra Logika,23, No. 1, 100–116 (1984).
V. V. Rybakov, "Admissibility criteria for rules in the modal logicS4 and the intuitionistic logic," Algebra Logika,23, No. 5, 546–572 (1984).
A. I. Tsitkin, "On admissible rules of the intuitionistic logic of propositions," Mat. Sb.,102, No. 2, 314–323 (1977).
A. I. Tsitkin, "Rules of inference admissible in superintuitionistic logics," Summary of Dissertation for the Candidate Degree in Mathematics, Mathematics Institute and Computer Center, Academy of Sciences of the Moldavian SSR, Kishinev (1979).
M. A. Dammet and E. J. Lemmon, "Modal Logic betweenS4 andS5," Math. Logic Grundl. Math.,5, 250–264 (1959).
H. Freedman, "One-hundred-and-two problems in mathematical logic," J. Symb. Logic,40, No. 3, 113–130 (1975).
A. Selman, "Completeness of calculi for axiomatically defined classes of algebras," Algebra Univ.,2, No. 1, 20–32 (1972).
Additional information
Translated from Algebra i Logika, Vol. 24, No. 1, pp. 87–107, January–February, 1985.
Rights and permissions
About this article
Cite this article
Rybakov, V.V. Bases of admissible rules of the logics S4 and Int. Algebra and Logic 24, 55–68 (1985). https://doi.org/10.1007/BF01978706
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01978706