Bases of admissible rules in modal logics S4.2 and S4.2Grz
The author studies the admissibility of inference rules in nonclassical propositional logics. In this paper it is proved that the modal logics S4.2 and S4.2Grz have no finite bases of admissible rules, that is, there exists no finite subset of admissible rules such that all the other rules follow directly from them.
scientific article; zbMATH DE number 561008