| Admissibility of logical inference rules VV Rybakov Elsevier, 1997 | 400 | 1997 |
| A lattice of normal modal logics LL Maksimova, VV Rybakov Algebra and Logic 13 (2), 105-122, 1974 | 160* | 1974 |
| A criterion for admissibility of rules in the model system S4 and the intuitionistic logic VV Rybakov Algebra and Logic 23 (5), 369-384, 1984 | 146* | 1984 |
| Rules of inference with parameters for intuitionistic logic VV Rybakov The Journal of symbolic logic 57 (3), 912-923, 1992 | 115 | 1992 |
| Logical consecutions in discrete linear temporal logic VV Rybakov The journal of symbolic logic 70 (4), 1137-1149, 2005 | 93 | 2005 |
| Linear temporal logic with until and next, logical consecutions V Rybakov Annals of Pure and Applied Logic 155 (1), 32-45, 2008 | 85 | 2008 |
| Linear temporal logic LTL: basis for admissible rules S Babenyshev, V Rybakov Journal of Logic and Computation 21 (2), 157-177, 2011 | 80 | 2011 |
| Construction of an explicit basis for rules admissible in modal system S4 VV Rybakov Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 (4), 441-446, 2001 | 73 | 2001 |
| Bases of admissible rules of the logics S4 and Int VV Rybakov Algebra and Logic 24 (1), 55-68, 1985 | 71* | 1985 |
| Admissible logical inference rules VV Rybakov Studies in Logic and the Foundations of Mathematics 136, 617, 1997 | 61 | 1997 |
| Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus VV Rybakov Annals of pure and applied logic 50 (1), 71-106, 1990 | 61 | 1990 |
| Hereditarily structurally complete modal logics VV Rybakov The Journal of Symbolic Logic 60 (1), 266-288, 1995 | 52 | 1995 |
| Unification in linear temporal logic LTL S Babenyshev, V Rybakov Annals of Pure and Applied Logic 162 (12), 991-1000, 2011 | 50 | 2011 |
| BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM AND OF INTUITIONISTIC LOGIC VV Rybakov Mathematics of the USSR-Sbornik 56 (2), 311, 1987 | 48* | 1987 |
| Logical consecutions in intransitive temporal linear logic of finite intervals V Rybakov Journal of logic and computation 15 (5), 663-678, 2005 | 45 | 2005 |
| Non-transitive linear temporal logic and logical knowledge operations VV Rybakov Journal of Logic and Computation 26 (3), 945-958, 2015 | 44 | 2015 |
| Linear Temporal Logic ℒƬℒK extended by Multi-Agent Logic Kn with Interacting Agents V Rybakov Journal of logic and Computation 19 (6), 989-1017, 2009 | 43 | 2009 |
| An essay on unification and inference rules for modal logics VV Rybakov, M Terziler, C Gencer Bulletin of the Section of Logic 28 (3), 145-157, 1999 | 43 | 1999 |
| A tableau method for checking rule admissibility in S4 S Babenyshev, V Rybakov, RA Schmidt, D Tishkovsky Electronic notes in theoretical computer science 262, 17-32, 2010 | 40 | 2010 |
| Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+ S Odintsov, V Rybakov Annals of Pure and Applied Logic 164 (7-8), 771-784, 2013 | 38 | 2013 |
Stepan I. BashmakovSiberian Federal University, Institute of Mathematics and Computer Science在 sfu-kras.ru 的电子邮件经过验证
Stepan I. BashmakovSiberian Federal University, Institute of Mathematics and Computer Science在 sfu-kras.ru 的电子邮件经过验证