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
3521997
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
1041992
Logical consecutions in discrete linear temporal logic
VV Rybakov
The journal of symbolic logic 70 (4), 1137-1149, 2005
822005
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
672001
Linear temporal logic with until and next, logical consecutions
V Rybakov
Annals of Pure and Applied Logic 155 (1), 32-45, 2008
652008
Admissible logical inference rules
VV Rybakov
Studies in Logic and the Foundations of Mathematics 136, 1997
571997
Linear temporal logic LTL: basis for admissible rules
S Babenyshev, V Rybakov
Journal of Logic and Computation 21 (2), 157-177, 2011
552011
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
511990
Hereditarily structurally complete modal logics
VV Rybakov
The Journal of Symbolic Logic 60 (1), 266-288, 1995
451995
Logical consecutions in intransitive temporal linear logic of finite intervals
V Rybakov
Journal of logic and computation 15 (5), 663-678, 2005
442005
Unification in linear temporal logic LTL
S Babenyshev, V Rybakov
Annals of Pure and Applied logic 162 (12), 991-1000, 2011
432011
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
392013
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
382010
Linear Temporal Logic ℒƬℒK extended by Multi-Agent Logic Kn with Interacting Agents
V Rybakov
Journal of logic and Computation 19 (6), 989-1017, 2009
372009
Linear temporal logic with until and before on integer numbers, deciding algorithms
V Rybakov
International Computer Science Symposium in Russia, 322-333, 2006
342006
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
VV Rybakov
Studia Logica 53 (2), 203-225, 1994
341994
The system can't perform the operation now. Try again later.
Articles 1–20