Author:
Alekseev P. A.,Golovanov M. I.
Publisher
Springer Science and Business Media LLC
Reference8 articles.
1. V. V. Rybakov, “Admissible rules for logics extendingS4.3,”Sib. Mat. Zh.,25, No. 5, 141–145 (1984).
2. V. V. Rybakov, “Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property,”Stud. Log.,53, No. 2, 203–226 (1994).
3. V. V. Rybakov, “Hereditarily structurally complete modal logics,”J. Symb. Log.,60, No. 1, 266–288 (1995).
4. K. Segerberg, “Two-dimensional modal logic,”J. Phil. Log.,2, No. 1, 77–96 (1973).
5. M. Rennie, “Models for multiply modal systems,”Z. Math. Log. Grundl. Math.,16, 175–186 (1970).