Vladimir V. Rybakov
Vladimir V. Rybakov
Professor of Mathematical Logic, Institute of Mathematics and Computer Science, Siberian Federal
Dirección de correo verificada de sfu-kras.ru - Página principal
Título
Citado por
Citado por
Año
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
140*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
722005
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
572008
Admissible logical inference rules
VV Rybakov
Studies in Logic and the Foundations of Mathematics 136, 1997
551997
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
Linear temporal logic LTL: basis for admissible rules
S Babenyshev, V Rybakov
Journal of Logic and Computation 21 (2), 157-177, 2011
462011
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
342010
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
332013
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20