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

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

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

Logical consecutions in discrete linear temporal logic VV Rybakov The journal of symbolic logic 70 (4), 1137-1149, 2005 | 82 | 2005 |

Bases of admissible rules of the logics S4 and Int VV Rybakov Algebra and Logic 24 (1), 55-68, 1985 | 75* | 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 | 67 | 2001 |

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

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

Linear temporal logic LTL: basis for admissible rules S Babenyshev, V Rybakov Journal of Logic and Computation 21 (2), 157-177, 2011 | 55 | 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 | 51 | 1990 |

Hereditarily structurally complete modal logics VV Rybakov The Journal of Symbolic Logic 60 (1), 266-288, 1995 | 45 | 1995 |

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

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

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

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 | 39 | 2013 |

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 | 38 | 2010 |

Linear Temporal Logic ℒƬℒ_{K} extended by Multi-Agent Logic K_{n} with Interacting AgentsV Rybakov Journal of logic and Computation 19 (6), 989-1017, 2009 | 37 | 2009 |

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

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