Admissibility of logical inference rules VV Rybakov Elsevier, 1997 | 322 | 1997 |

A lattice of normal modal logics LL Maksimova, VV Rybakov Algebra and Logic 13 (2), 105-122, 1974 | 141* | 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 | 139* | 1984 |

Rules of inference with parameters for intuitionistic logic VV Rybakov The Journal of symbolic logic 57 (3), 912-923, 1992 | 97 | 1992 |

Logical consecutions in discrete linear temporal logic VV Rybakov Journal of Symbolic Logic, 1137-1149, 2005 | 73 | 2005 |

Bases of admissible rules of the logics S4 and Int VV Rybakov Algebra and Logic 24 (1), 55-68, 1985 | 68* | 1985 |

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 | 62 | 2001 |

Linear temporal logic with until and next, logical consecutions V Rybakov Annals of Pure and Applied Logic 155 (1), 32-45, 2008 | 58 | 2008 |

Admissible logical inference rules VV Rybakov Studies in Logic and the Foundations of Mathematics 136, 1997 | 55 | 1997 |

Linear temporal logic LTL: basis for admissible rules S Babenyshev, V Rybakov Journal of Logic and Computation 21 (2), 157-177, 2011 | 47 | 2011 |

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 | 47 | 1990 |

Logical consecutions in intransitive temporal linear logic of finite intervals V Rybakov Journal of Logic and Computation 15 (5), 663-678, 2005 | 42 | 2005 |

Hereditarily structurally complete modal logics VV Rybakov Journal of Symbolic Logic, 266-288, 1995 | 40 | 1995 |

BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM AND OF INTUITIONISTIC LOGIC VV Rybakov Mathematics of the USSR-Sbornik 56 (2), 311, 1987 | 37* | 1987 |

Unification in linear temporal logic LTL S Babenyshev, V Rybakov Annals of Pure and Applied Logic 162 (12), 991-1000, 2011 | 36 | 2011 |

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 | 35 | 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 | 34 | 2013 |

Linear temporal logic with until and before on integer numbers, deciding algorithms V Rybakov International Computer Science Symposium in Russia, 322-333, 2006 | 32 | 2006 |

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 | 32 | 1999 |

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property VV Rybakov Studia Logica 53 (2), 203-225, 1994 | 30 | 1994 |