Author

Vladimir Vladimirovich Rybakov

Observed names: Rybakov Vladimir, Rybakov Vladimir V., Rybakov, Vladimir, Rybakov, Vladimir V., V Rybakov, V V Rybakov, V. Rybakov, V. V. RYBAKOV, V. V. Rybakov, V.V. Rybakov, Vladimir Rybakov, Vladimir V. Rybakov, Рыбаков, Владимир В.

Institutions: Russian Academy of Sciences, Steklov Mathematical Institute

Observed institutions: Istanbul Bilgi University, National Research University Higher School of Economics, Manchester Metropolitan University, Russian Academy of Sciences, Vanderbilt University, Steklov Mathematical Institute, Krasnodar State University of Culture and Arts, Siberian Branch of the Russian Academy of Sciences, A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Siberian Federal University, Istanbul University, Stanford University

ORCID: 0000-0002-6654-9712

Observed ORCID: 0000-0002-6654-9712

OpenAlex ID: A5016943210

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

1984 · V. V. Rybakov · Algebra and Logic · 104

A lattice of normal modal logics

1974 · L. L. Maksimova, V. V. Rybakov · Algebra and Logic · 83

Rules of inference with parameters for intuitionistic logic

1992 · Vladimir V. Rybakov · Journal of Symbolic Logic · 79

Logical consecutions in discrete linear temporal logic

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

Linear Temporal Logic LTL: Basis for Admissible Rules

2010 · S. Babenyshev, V. Rybakov · Journal of Logic and Computation · 52

Linear temporal logic with until and next, logical consecutions

2008 · V. Rybakov · Annals of Pure and Applied Logic · 48

Construction of an Explicit Basis for Rules Admissible in Modal System S4

2001 · Vladimir V. Rybakov · Mathematical logic quarterly · 46

Bases of admissible rules of the logics S4 and Int

1985 · V. V. Rybakov · Algebra and Logic · 43

Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus

1990 · V.V. Rybakov · Annals of Pure and Applied Logic · 40

Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals

2005 · Vladimir Rybakov · Journal of Logic and Computation · 34

Hereditarily structurally complete modal logics

1995 · V. V. Rybakov · Journal of Symbolic Logic · 34

Unification in linear temporal logic LTL

2011 · Sergey Babenyshev, Vladimir Rybakov · Annals of Pure and Applied Logic · 30

Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms

2006 · V. Rybakov · Lecture notes in computer science · 29

A Tableau Method for Checking Rule Admissibility in S4

2010 · Sergey Babenyshev, Vladimir Rybakov, et al. · Electronic Notes in Theoretical Computer Science · 26

Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents

2009 · V. Rybakov · Journal of Logic and Computation · 24

Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification

2007 · V. Rybakov · Journal of Logic and Computation · 24

Logic of knowledge and discovery via interacting agents – Decision algorithm for true and satisfiable statements☆

2008 · Vladimir Rybakov · Information Sciences · 23

Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms

2007 · V. Rybakov · Lecture notes in computer science · 23

Non-transitive linear temporal logic and logical knowledge operations

2015 · Vladimir V. Rybakov · Journal of Logic and Computation · 22

On Finite Model Property for Admissible Rules

1999 · Vladimir V. Rybakov, Vladimir R. Kiyatkin, et al. · Mathematical logic quarterly · 22

Preface and acknowledgments

1997 · Vladimir V. Rybakov · Studies in logic and the foundations of mathematics · 22

Logic of Discovery in Uncertain Situations– Deciding Algorithms

2007 · V. Rybakov · Lecture notes in computer science · 20

Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+

2013 · Sergei Odintsov, Vladimir Rybakov · Annals of Pure and Applied Logic · 19

Handbook of the logic of argument and inference, edited by D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods, Studies in Logic and Practical Reasoning, vol. 1. North-Holland, Amsterdam, 2002, 498 pp.

2004 · V.V. Rybakov · Bulletin of Symbolic Logic · 19

An essay on unification and inference rules for modal logics

1999 · Vladimir V. Rybakov, Mehmet Terziler, et al. · 19

Works count: 173

Citation count: 1,474

H-index: 21

I10-index: 45