×

Preservation of admissibility of inference rules in the logics similar to S4. 2. (Russian, English) Zbl 1010.03011

Sib. Mat. Zh. 43, No. 2, 446-453 (2002); translation in Sib. Math. J. 43, No. 2, 357-362 (2002).
The authors prove a criterion for the class of finitely approximable logics extending S4 (Grz.2, KC, respectively) to inherit all admissible rules of S4 (Grz.2, KC, respectively).

MSC:

03B45 Modal logic (including the logic of norms)
03B25 Decidability of theories and sets of sentences
PDFBibTeX XMLCite
Full Text: EuDML