Vladimir V. Rybakov
Vladimir V. Rybakov
Professor of Mathematical Logic, Institute of Mathematics and Computer Science, Siberian Federal
Verified email at sfu-kras.ru - Homepage
Title
Cited by
Cited by
Year
Admissibility of logical inference rules
VV Rybakov
Elsevier, 1997
3221997
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
971992
Logical consecutions in discrete linear temporal logic
VV Rybakov
Journal of Symbolic Logic, 1137-1149, 2005
732005
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
622001
Linear temporal logic with until and next, logical consecutions
V Rybakov
Annals of Pure and Applied Logic 155 (1), 32-45, 2008
582008
Admissible logical inference rules
VV Rybakov
Studies in Logic and the Foundations of Mathematics 136, 1997
551997
Linear temporal logic LTL: basis for admissible rules
S Babenyshev, V Rybakov
Journal of Logic and Computation 21 (2), 157-177, 2011
472011
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
471990
Logical consecutions in intransitive temporal linear logic of finite intervals
V Rybakov
Journal of Logic and Computation 15 (5), 663-678, 2005
422005
Hereditarily structurally complete modal logics
VV Rybakov
Journal of Symbolic Logic, 266-288, 1995
401995
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
362011
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
352010
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
342013
Linear temporal logic with until and before on integer numbers, deciding algorithms
V Rybakov
International Computer Science Symposium in Russia, 322-333, 2006
322006
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
321999
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
VV Rybakov
Studia Logica 53 (2), 203-225, 1994
301994
The system can't perform the operation now. Try again later.
Articles 1–20