Vladimir V. Rybakov

A criterion for admissibility of rules in the model system S4 and the intuitionistic logic

Vladimir V. Rybakov · Algebra and Logic · 1984 · 100 citations

Intuitionistic Logic, Non-classical Logic, Engineering +7

A lattice of normal modal logics

L. L. Maksimova, Vladimir V. Rybakov · Algebra and Logic · 1974 · 86 citations

Lattice (Order), Automated Reasoning, Normal Modal Logics +2

Rules of inference with parameters for intuitionistic logic

Vladimir V. Rybakov · Journal of Symbolic Logic · 1992 · 78 citations

Intuitionistic Logic, Non-classical Logic, Fuzzy Logic +10

Logical consecutions in discrete linear temporal logic

Vladimir V. Rybakov · Journal of Symbolic Logic · 2005 · 67 citations

Engineering, Semantics, Formal Verification +18

Linear Temporal Logic LTL: Basis for Admissible Rules

Sergey Babenyshev, Vladimir V. Rybakov · Journal of Logic and Computation · 2010 · 51 citations

Theory Of Computing, Computational Logic, Chester Street +12