Edit Profile (opens in new tab) Rybakov, Vladimir Vladimirovich Compute Distance To: Compute Author ID: rybakov.vladimir-vladimirovich Published as: Rybakov, V. V.; Rybakov, Vladimir V.; Rybakov, Vladimir; Rybakov, V.; Rybakov, Vladimir Vladimirovich more...less Homepage: http://math.sfu-kras.ru/node/303 External Links: MGP · ORCID · Google Scholar · ResearchGate · Math-Net.Ru · dblp Documents Indexed: 132 Publications since 1975, including 1 Book Reviewing Activity: 29 Reviews Co-Authors: 37 Co-Authors with 34 Joint Publications 533 Co-Co-Authors all top 5 Co-Authors 97 single-authored 7 Terziler, Mehmet 5 Babenyshev, Sergey 5 Gencer, Çigdem 4 Kiyatkin, Vladimir R. 4 Odintsov, Sergei P. 4 Oner, Tahsin 3 Kosheleva, Anna Vladimirovna 2 Bashmakov, Stepan Igorevich 2 Calardo, Erica 2 Golovanov, Mikhail I. 2 Maksimova, Larisa L’vovna 1 Alaev, Pavel Evgenievich 1 Babenyshev, Sergej V. 1 Bogopol’skiĭ, O. V. 1 Churkin, Valerii Avdeevich 1 Ershov, Yuriĭ Leonidovich 1 Fedorishin, B. R. 1 Filyurin, A. S. 1 Goncharov, Sergeĭ Savost’yanovich 1 Khramtsov, D. G. 1 Lukyanchuk, Alexandra N. 1 Mazurov, Viktor Danilovich 1 McLean, David I. 1 Moor, Michael Alexandrovich 1 Morozov, Andreĭ Sergeevich 1 Pal’chunov, Dimitriĭ Evgen’evich 1 Puzarenko, Vadim G. 1 Remazki, Vitaliy 1 Rimatksi, V. V. 1 Ryaskin, A. N. 1 Rychkov, Konstantin Leonidovich 1 Schmidt, Renate A. 1 Taimanov, Iskander Asanovich 1 Terziller, M. 1 Tishkovsky, Dmitry 1 Vasil’ev, Andreĭ Viktorovich 1 Yurasova, E. M. all top 5 Serials 13 Algebra and Logic 11 Bulletin of the Section of Logic 9 Logic Journal of the IGPL 8 Algebra i Logika 8 Sibirskie Èlektronnye Matematicheskie Izvestiya 7 Siberian Mathematical Journal 6 Journal of Logic and Computation 6 Journal of Siberian Federal University. Mathematics & Physics 4 Studia Logica 4 Annals of Pure and Applied Logic 4 Mathematical Logic Quarterly (MLQ) 3 Mathematical Notes 3 The Journal of Symbolic Logic 3 Mathematics of the USSR. Izvestiya 3 Soviet Mathematics. Doklady 3 Journal of Applied Non-Classical Logics 2 Matematicheskie Zametki 2 Sibirskiĭ Matematicheskiĭ Zhurnal 2 Archive for Mathematical Logic 1 Information Sciences 1 Notre Dame Journal of Formal Logic 1 Theoretical Computer Science 1 Siberian Advances in Mathematics 1 Mathematics of the USSR, Sbornik 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 Lobachevskii Journal of Mathematics 1 Logic and Logical Philosophy 1 Semiotika i Informatika 1 Studies in Logic and the Foundations of Mathematics 1 Logica Universalis all top 5 Fields 129 Mathematical logic and foundations (03-XX) 28 Computer science (68-XX) 8 General algebraic systems (08-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 95 Publications have been cited 590 times in 181 Documents Cited by ▼ Year ▼ Admissibility of logical inference rules. Zbl 0872.03002Rybakov, V. V. 80 1997 A criterion for admissibility of rules in the modal system S4 and intuitionistic logic. Zbl 0598.03013Rybakov, V. V. 36 1984 A lattice of normal modal logics. Zbl 0315.02027Maksimova, L. L.; Rybakov, V. V. 22 1975 Rules of inference with parameters for intuitionistic logic. Zbl 0788.03007Rybakov, Vladimir V. 22 1992 Logical consecutions in discrete linear temporal logic. Zbl 1110.03010Rybakov, V. V. 22 2005 Linear temporal logic with until and next, logical consecutions. Zbl 1147.03008Rybakov, V. 18 2008 Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. Zbl 0709.03009Rybakov, V. V. 17 1990 Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic \(\mathbf{IPC}^+\). Zbl 1323.03029Odintsov, Sergei; Rybakov, Vladimir 17 2013 Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026Babenyshev, Sergey; Rybakov, Vladimir 16 2011 Bases of admissible rules of the logics S4 and Int. Zbl 0598.03014Rybakov, V. V. 15 1985 Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027Rybakov, Vladimir V. 14 2001 Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028Rybakov, Vladimir V. 12 2016 Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents. Zbl 1208.03023Rybakov, Vladimir 11 2009 Multi-modal and temporal logics with universal formula – reduction of admissibility to validity and unification. Zbl 1149.03017Rybakov, V. 9 2008 On finite model property for admissible rules. Zbl 0938.03033Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin 9 1999 A tableau method for checking rule admissibility in S4. Zbl 1345.03033Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry 9 2010 Linear temporal logic with until and before on integer numbers, deciding algorithms. Zbl 1185.03022Rybakov, V. 9 2006 Logical equations and admissible rules of inference with parameters in modal provability logics. Zbl 0729.03012Rybakov, V. V. 9 1990 An essay on unification and inference rules for modal logics. Zbl 0952.03019Rybakov, V. V.; Terziler, M.; Gencer, C. 8 1999 Unification in linear temporal logic LTL. Zbl 1241.03014Babenyshev, Sergey; Rybakov, Vladimir 8 2011 Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151Rybakov, Vladimir 8 2009 Admissible rules of pretabular modal logics. Zbl 0489.03005Rybakov, V. V. 8 1981 Logical consecutions in intransitive temporal linear logic of finite intervals. Zbl 1091.03002Rybakov, Vladimir 8 2005 Multiagent temporal logics with multivaluations. Zbl 1469.03047Rybakov, V. V. 8 2018 A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. Zbl 0955.03037Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy 7 2000 Refined common knowledge logics or logics of common information. Zbl 1030.03015Rybakov, V. V. 7 2003 Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060Rybakov, Vladimir V. 7 2017 Decidability of admissibility in the modal system Grz and in intuitionistic logic. Zbl 0624.03009Rybakov, V. V. 6 1987 Admissible rules for logics containing S4.3. Zbl 0582.03009Rybakov, V. V. 6 1984 Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154Rybakov, Vladimir Vladimirovich 6 2018 Hereditarily structurally complete modal logics. Zbl 0836.03014Rybakov, V. V. 5 1995 Noncompact extensions of the logic S4. Zbl 0406.03039Rybakov, V. V. 5 1977 Bases of admissible rules of the modal system Grz and of intuitionistic logic. Zbl 0617.03007Rybakov, V. V. 5 1987 Decidability of the admissibility problem in layer-finite logics. Zbl 0576.03012Rybakov, V. V. 5 1984 Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004Rybakov, Vladimir V. 5 2013 Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324Rybakov, V. 5 2007 Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\). Zbl 1342.03017Rybakov, Vladimir 5 2014 Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074Rybakov, Vladimir V. 4 2018 Logics with the universal modality and admissible consecutions. Zbl 1186.03048Rybakov, Vladimir 4 2007 Unification and passive inference rules for modal logics. Zbl 1040.03014Rybakov, V. V.; Terziler, M.; Gencer, C. 4 2000 Equations in free topoboolean algebra. Zbl 0624.03007Rybakov, V. V. 4 1986 A modal analog for Glivenko’s theorem and its applications. Zbl 0788.03020Rybakov, V. V. 4 1992 Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050Rybakov, Vladimir 4 2013 Writing out unifiers in linear temporal logic. Zbl 1259.03029Rybakov, Vladimir V. 4 2012 An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Zbl 1134.03011Calardo, Erica; Rybakov, Vladimir V. 4 2007 Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. Zbl 1142.03323Babenyshev, Sergey; Rybakov, Vladimir 4 2008 Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126Rybakov, Vladimir Vladimirovich 4 2019 Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016Rybakov, Vladimir V. 3 1994 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 3 1999 Elementary theories of free topo-Boolean and pseudo-Boolean algebras. Zbl 0593.03041Rybakov, V. V. 3 1985 Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition. Zbl 1209.03011Rybakov, Vladimir 3 2010 Independent bases for rules admissible in pretabular logics. Zbl 0956.03024Rybakov, V.; Kiyatkin, V.; Terziler, M. 3 1999 Combining time and knowledge, semantic approach. Zbl 1117.03021Calardo, E.; Rybakov, V. 3 2005 Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations Until and Since based on bundles of integer numbers, logical consecutions, deciding algorithms. Zbl 1148.03011Rybakov, V. 3 2008 Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 1474.68340Rybakov, Vladimir 3 2016 Projective formulas and unification in linear discrete temporal multi-agent logics. Zbl 1390.03019Bashmakov, Stepan Igorevich; Kosheleva, Anna Vladimirovna; Rybakov, Vladimir 3 2016 Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036Odintsov, Sergei; Rybakov, Vladimir 3 2015 Admissible rules for pretable modal logics. Zbl 0496.03008Rybakov, V. V. 3 1982 Bases of quasiidentities of finite modal algebras. Zbl 0507.08005Rybakov, V. V. 3 1982 Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017Rybakov, Vladimir V. 2 1993 Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014Rybakov, Vladimir V. 2 1995 Hereditarily finitely axiomatizable extensions of logic S4. Zbl 0358.02022Rybakov, V. V. 2 1977 Noncompact extensions of the logic S4. Zbl 0413.03013Rybakov, V. V. 2 1978 Modale Logiken mit LM-Axiomen. Zbl 0417.03007Rybakov, V. V. 2 1978 Quasi-characteristic inference rules for modal logics. Zbl 0887.03014Rybakov, Vladimir V. 2 1997 Unification in common knowledge logics. Zbl 1036.03012Rybakov, V. V. 2 2002 Best unifiers in transitive modal logics. Zbl 1247.03029Rybakov, Vladimir V. 2 2011 Problems of admissibility and substitution, logical equations and restricted theories of free algebras. Zbl 0691.03012Rybakov, V. V. 2 1989 Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063Rybakov, V. 1 2008 Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016Rybakov, Vladimir 1 2008 Description of modal logics inheriting admissible rules for S4. Zbl 0942.03031Rybakov, V. V.; Gencer, C.; Oner, T. 1 1999 Independent bases for rules admissible in pretable logics. Zbl 0953.03032Rybakov, V. V.; Kiyatkin, V. R.; Terziller, M. 1 2000 The structure of rigid frames of restricted depth 2. Zbl 0965.03025Rybakov, V. V.; Oner, T. 1 1998 Elementary theories of free algebras for varieties corresponding to non-classical logics. Zbl 0853.03012Rybakov, Vladimir V. 1 1996 A decidable noncompact extension of the logic S4. Zbl 0415.03012Rybakov, V. V. 1 1979 Modal logics with LM-axioms. Zbl 0427.03013Rybakov, V. V. 1 1979 Tabular logics with no finite bases for inference rules. Zbl 1073.03012Rybakov, V. 1 2004 Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V. 1 2005 Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515Rybakov, Vladimir V. 1 1995 Preservation of admissibility of inference rules in the logics similar to S4. 2. Zbl 1010.03011Rybakov, V. V.; Rimatskij, V. V. 1 2002 Equations in a free topoboolean algebra and the substitution problem. Zbl 0607.06008Rybakov, V. V. 1 1986 Solvability of logical equations in the modal system Grz and intuitionistic logic. Zbl 0742.03005Rybakov, V. V. 1 1991 The universal theory of the free pseudoboolean algebra \(F_ \omega{}(H)\) in the signature extended by constants for free generators. Zbl 0767.03007Rybakov, V. V. 1 1992 A criterion for admissibility of rules of inference in modal and intuitionistic logic. Zbl 0596.03025Rybakov, V. V. 1 1985 A note on globally admissible inference rules for modal and superintuitionistic logics. Zbl 1117.03024Rimatksi, V. V.; Rybakov, V. V. 1 2005 Non-unifiability in linear temporal logic of knowledge with multi-agent relations. Zbl 1390.03020Bashmakov, Stepan Igorevich; Kosheleva, Anna Vladimirovna; Rybakov, Vladimir 1 2016 Semantic criteria for admissible inference rules in the logics S4 and Int. Zbl 0729.03013Rybakov, V. V. 1 1991 Solvability of logical equations in the modal system Grz and in intuitionistic logic. Zbl 0729.03014Rybakov, V. V. 1 1991 Unification problem in Nelson’s logic \(\mathbf{N4}\). Zbl 1354.03032Odintsov, S. P.; Rybakov, V. V. 1 2014 Completeness of modal logics with prefinite width. Zbl 0504.03008Rybakov, V. V. 1 1983 On self-admissible quasi-characterizing inference rules. Zbl 0969.03032Rybakov, V. V.; Terziler, M.; Gencer, C. 1 2000 Residual finiteness for admissible inference rules. Zbl 0989.03015Rybakov, V. V.; Kiyatkin, V. R.; Oner, T. 1 2001 Many-valued multi-modal logics, satisfiability problem. Zbl 1436.03138Moor, Michael Alexandrovich; Rybakov, Vladimir Vladimirovich 1 2018 Temporal logic with accessibility temporal relations generated by time states themselves. Zbl 1437.03081Rybakov, Vladimir Vladimirovich 1 2020 Multi-agent logics with multi-valuations and intensional logical operations. Zbl 1486.03054Rybakov, V. V. 1 2020 Temporal logic with accessibility temporal relations generated by time states themselves. Zbl 1437.03081Rybakov, Vladimir Vladimirovich 1 2020 Multi-agent logics with multi-valuations and intensional logical operations. Zbl 1486.03054Rybakov, V. V. 1 2020 Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126Rybakov, Vladimir Vladimirovich 4 2019 Multiagent temporal logics with multivaluations. Zbl 1469.03047Rybakov, V. V. 8 2018 Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154Rybakov, Vladimir Vladimirovich 6 2018 Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074Rybakov, Vladimir V. 4 2018 Many-valued multi-modal logics, satisfiability problem. Zbl 1436.03138Moor, Michael Alexandrovich; Rybakov, Vladimir Vladimirovich 1 2018 Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060Rybakov, Vladimir V. 7 2017 Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028Rybakov, Vladimir V. 12 2016 Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 1474.68340Rybakov, Vladimir 3 2016 Projective formulas and unification in linear discrete temporal multi-agent logics. Zbl 1390.03019Bashmakov, Stepan Igorevich; Kosheleva, Anna Vladimirovna; Rybakov, Vladimir 3 2016 Non-unifiability in linear temporal logic of knowledge with multi-agent relations. Zbl 1390.03020Bashmakov, Stepan Igorevich; Kosheleva, Anna Vladimirovna; Rybakov, Vladimir 1 2016 Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036Odintsov, Sergei; Rybakov, Vladimir 3 2015 Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\). Zbl 1342.03017Rybakov, Vladimir 5 2014 Unification problem in Nelson’s logic \(\mathbf{N4}\). Zbl 1354.03032Odintsov, S. P.; Rybakov, V. V. 1 2014 Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic \(\mathbf{IPC}^+\). Zbl 1323.03029Odintsov, Sergei; Rybakov, Vladimir 17 2013 Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004Rybakov, Vladimir V. 5 2013 Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050Rybakov, Vladimir 4 2013 Writing out unifiers in linear temporal logic. Zbl 1259.03029Rybakov, Vladimir V. 4 2012 Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026Babenyshev, Sergey; Rybakov, Vladimir 16 2011 Unification in linear temporal logic LTL. Zbl 1241.03014Babenyshev, Sergey; Rybakov, Vladimir 8 2011 Best unifiers in transitive modal logics. Zbl 1247.03029Rybakov, Vladimir V. 2 2011 A tableau method for checking rule admissibility in S4. Zbl 1345.03033Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry 9 2010 Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition. Zbl 1209.03011Rybakov, Vladimir 3 2010 Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents. Zbl 1208.03023Rybakov, Vladimir 11 2009 Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151Rybakov, Vladimir 8 2009 Linear temporal logic with until and next, logical consecutions. Zbl 1147.03008Rybakov, V. 18 2008 Multi-modal and temporal logics with universal formula – reduction of admissibility to validity and unification. Zbl 1149.03017Rybakov, V. 9 2008 Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. Zbl 1142.03323Babenyshev, Sergey; Rybakov, Vladimir 4 2008 Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations Until and Since based on bundles of integer numbers, logical consecutions, deciding algorithms. Zbl 1148.03011Rybakov, V. 3 2008 Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063Rybakov, V. 1 2008 Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016Rybakov, Vladimir 1 2008 Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324Rybakov, V. 5 2007 Logics with the universal modality and admissible consecutions. Zbl 1186.03048Rybakov, Vladimir 4 2007 An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Zbl 1134.03011Calardo, Erica; Rybakov, Vladimir V. 4 2007 Linear temporal logic with until and before on integer numbers, deciding algorithms. Zbl 1185.03022Rybakov, V. 9 2006 Logical consecutions in discrete linear temporal logic. Zbl 1110.03010Rybakov, V. V. 22 2005 Logical consecutions in intransitive temporal linear logic of finite intervals. Zbl 1091.03002Rybakov, Vladimir 8 2005 Combining time and knowledge, semantic approach. Zbl 1117.03021Calardo, E.; Rybakov, V. 3 2005 Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V. 1 2005 A note on globally admissible inference rules for modal and superintuitionistic logics. Zbl 1117.03024Rimatksi, V. V.; Rybakov, V. V. 1 2005 Tabular logics with no finite bases for inference rules. Zbl 1073.03012Rybakov, V. 1 2004 Refined common knowledge logics or logics of common information. Zbl 1030.03015Rybakov, V. V. 7 2003 Unification in common knowledge logics. Zbl 1036.03012Rybakov, V. V. 2 2002 Preservation of admissibility of inference rules in the logics similar to S4. 2. Zbl 1010.03011Rybakov, V. V.; Rimatskij, V. V. 1 2002 Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027Rybakov, Vladimir V. 14 2001 Residual finiteness for admissible inference rules. Zbl 0989.03015Rybakov, V. V.; Kiyatkin, V. R.; Oner, T. 1 2001 A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. Zbl 0955.03037Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy 7 2000 Unification and passive inference rules for modal logics. Zbl 1040.03014Rybakov, V. V.; Terziler, M.; Gencer, C. 4 2000 Independent bases for rules admissible in pretable logics. Zbl 0953.03032Rybakov, V. V.; Kiyatkin, V. R.; Terziller, M. 1 2000 On self-admissible quasi-characterizing inference rules. Zbl 0969.03032Rybakov, V. V.; Terziler, M.; Gencer, C. 1 2000 On finite model property for admissible rules. Zbl 0938.03033Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin 9 1999 An essay on unification and inference rules for modal logics. Zbl 0952.03019Rybakov, V. V.; Terziler, M.; Gencer, C. 8 1999 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 3 1999 Independent bases for rules admissible in pretabular logics. Zbl 0956.03024Rybakov, V.; Kiyatkin, V.; Terziler, M. 3 1999 Description of modal logics inheriting admissible rules for S4. Zbl 0942.03031Rybakov, V. V.; Gencer, C.; Oner, T. 1 1999 The structure of rigid frames of restricted depth 2. Zbl 0965.03025Rybakov, V. V.; Oner, T. 1 1998 Admissibility of logical inference rules. Zbl 0872.03002Rybakov, V. V. 80 1997 Quasi-characteristic inference rules for modal logics. Zbl 0887.03014Rybakov, Vladimir V. 2 1997 Elementary theories of free algebras for varieties corresponding to non-classical logics. Zbl 0853.03012Rybakov, Vladimir V. 1 1996 Hereditarily structurally complete modal logics. Zbl 0836.03014Rybakov, V. V. 5 1995 Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014Rybakov, Vladimir V. 2 1995 Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515Rybakov, Vladimir V. 1 1995 Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016Rybakov, Vladimir V. 3 1994 Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017Rybakov, Vladimir V. 2 1993 Rules of inference with parameters for intuitionistic logic. Zbl 0788.03007Rybakov, Vladimir V. 22 1992 A modal analog for Glivenko’s theorem and its applications. Zbl 0788.03020Rybakov, V. V. 4 1992 The universal theory of the free pseudoboolean algebra \(F_ \omega{}(H)\) in the signature extended by constants for free generators. Zbl 0767.03007Rybakov, V. V. 1 1992 Solvability of logical equations in the modal system Grz and intuitionistic logic. Zbl 0742.03005Rybakov, V. V. 1 1991 Semantic criteria for admissible inference rules in the logics S4 and Int. Zbl 0729.03013Rybakov, V. V. 1 1991 Solvability of logical equations in the modal system Grz and in intuitionistic logic. Zbl 0729.03014Rybakov, V. V. 1 1991 Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. Zbl 0709.03009Rybakov, V. V. 17 1990 Logical equations and admissible rules of inference with parameters in modal provability logics. Zbl 0729.03012Rybakov, V. V. 9 1990 Problems of admissibility and substitution, logical equations and restricted theories of free algebras. Zbl 0691.03012Rybakov, V. V. 2 1989 Decidability of admissibility in the modal system Grz and in intuitionistic logic. Zbl 0624.03009Rybakov, V. V. 6 1987 Bases of admissible rules of the modal system Grz and of intuitionistic logic. Zbl 0617.03007Rybakov, V. V. 5 1987 Equations in free topoboolean algebra. Zbl 0624.03007Rybakov, V. V. 4 1986 Equations in a free topoboolean algebra and the substitution problem. Zbl 0607.06008Rybakov, V. V. 1 1986 Bases of admissible rules of the logics S4 and Int. Zbl 0598.03014Rybakov, V. V. 15 1985 Elementary theories of free topo-Boolean and pseudo-Boolean algebras. Zbl 0593.03041Rybakov, V. V. 3 1985 A criterion for admissibility of rules of inference in modal and intuitionistic logic. Zbl 0596.03025Rybakov, V. V. 1 1985 A criterion for admissibility of rules in the modal system S4 and intuitionistic logic. Zbl 0598.03013Rybakov, V. V. 36 1984 Admissible rules for logics containing S4.3. Zbl 0582.03009Rybakov, V. V. 6 1984 Decidability of the admissibility problem in layer-finite logics. Zbl 0576.03012Rybakov, V. V. 5 1984 Completeness of modal logics with prefinite width. Zbl 0504.03008Rybakov, V. V. 1 1983 Admissible rules for pretable modal logics. Zbl 0496.03008Rybakov, V. V. 3 1982 Bases of quasiidentities of finite modal algebras. Zbl 0507.08005Rybakov, V. V. 3 1982 Admissible rules of pretabular modal logics. Zbl 0489.03005Rybakov, V. V. 8 1981 A decidable noncompact extension of the logic S4. Zbl 0415.03012Rybakov, V. V. 1 1979 Modal logics with LM-axioms. Zbl 0427.03013Rybakov, V. V. 1 1979 Noncompact extensions of the logic S4. Zbl 0413.03013Rybakov, V. V. 2 1978 Modale Logiken mit LM-Axiomen. Zbl 0417.03007Rybakov, V. V. 2 1978 Noncompact extensions of the logic S4. Zbl 0406.03039Rybakov, V. V. 5 1977 Hereditarily finitely axiomatizable extensions of logic S4. Zbl 0358.02022Rybakov, V. V. 2 1977 A lattice of normal modal logics. Zbl 0315.02027Maksimova, L. L.; Rybakov, V. V. 22 1975 all cited Publications top 5 cited Publications all top 5 Cited by 108 Authors 46 Rybakov, Vladimir Vladimirovich 13 Iemhoff, Rosalie 10 Maksimova, Larisa L’vovna 8 Citkin, Alex 6 Bezhanishvili, Nick 6 Goudsmit, Jeroen P. 6 Zakharyaschev, Michael Viktorovich 5 Gencer, Çigdem 4 Balbiani, Philippe 4 Bezhanishvili, Guram 4 Ghilardi, Silvio 4 Metcalfe, George 4 Yun, Veta Fëdorovna 3 Babenyshev, Sergej V. 3 Bashmakov, Stepan Igorevich 3 Chagrov, Aleksandr Vasil’evich 3 de Jongh, Dick H. J. 3 Dzik, Wojciech 3 Jeřábek, Emil 3 Kiyatkin, Vladimir R. 3 Lukyanchuk, Alexandra N. 3 Moraschini, Tommaso 3 Rimatskij, V. V. 3 Schmidt, Renate A. 3 Stronkowski, Michał Marek 3 Tishkovsky, Dmitry 3 Wolter, Frank 2 Babenyshev, Sergey 2 Cabrer, Leonardo Manuel 2 Hartonas, Chrysafis 2 Kostrzycka, Zofia 2 Odintsov, Sergei P. 2 Oner, Tahsin 2 Pigozzi, Don Leonard 2 Rasga, João 2 Rimatskiĭ, Vitaliĭ Valentinovich 2 Rozière, Paul 2 Sernadas, Cristina S. 2 Visser, Albert 2 Wojtylak, Piotr 2 Yang, Eunsuk 1 Andréka, Hajnal 1 Baader, Franz 1 Baltazar, Pedro 1 Beklemishev, Lev D. 1 Beyersdorff, Olaf 1 Blok, Willem Johannes 1 Borgwardt, Stefan 1 Calardo, Erica 1 Carnielli, Walter Alexandre 1 Cintula, Petr 1 Citkin, Alexander 1 Colacito, Almudena 1 Conradie, Willem 1 Czelakowski, Janusz 1 Darnière, Luck 1 Düntsch, Ivo 1 Dziobiak, Wiesław 1 Fagin, Ronald 1 Font, Josep Maria 1 Franks, Curtis 1 Gabelaia, David 1 Gispert, Joan 1 Groszek, Marcia J. 1 Halpern, Joseph Yehuda 1 Ilin, Julia 1 Jibladze, Mamuka A. 1 Junker, Markus 1 Kharchenko, Vladislav K. 1 Khodadadi, Mohammad 1 Knight, Sophia 1 Kosheleva, Anna Vladimirovna 1 Kutz, Oliver 1 Lempp, Steffen 1 McLean, David I. 1 Moor, Michael Alexandrovich 1 Morawska, Barbara 1 Mundici, Daniele 1 Muravitsky, Alexei Yu. 1 Németi, István 1 Özgün, Aybüke 1 Palmigiano, Alessandra 1 Pavlova, Aleksandra Mikhaĭlovna 1 Pohlers, Wolfram 1 Priestley, Hilary A. 1 Pudlák, Pavel 1 Rabe, Florian 1 Raftery, James G. 1 Rathjen, Michael 1 Rautenberg, Wolfgang 1 Rimatskiy, Vytalii Valentinovich 1 Rotolo, Antonino 1 Schwichtenberg, Helmut 1 Sernadas, Amilcar C. 1 Shen, Weina 1 Shkatov, Dmitry 1 Sutcliffe, Geoff 1 Terziler, Mehmet 1 Vakarelov, Dimiter 1 van Alten, Clint J. ...and 8 more Authors all top 5 Cited in 36 Serials 23 Algebra and Logic 20 Studia Logica 14 Annals of Pure and Applied Logic 11 The Journal of Symbolic Logic 10 Siberian Mathematical Journal 9 The Bulletin of Symbolic Logic 9 Journal of Siberian Federal University. Mathematics & Physics 7 Journal of Applied Non-Classical Logics 6 Archive for Mathematical Logic 6 Sibirskie Èlektronnye Matematicheskie Izvestiya 6 Logica Universalis 5 The Review of Symbolic Logic 4 Notre Dame Journal of Formal Logic 3 Algebra Universalis 3 Journal of Philosophical Logic 3 Bulletin of the Section of Logic 3 Mathematical Logic Quarterly (MLQ) 2 Mathematical Notes 2 Transactions of the American Mathematical Society 2 Logical Methods in Computer Science 1 Advances in Mathematics 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Pure and Applied Algebra 1 Synthese 1 Theoretical Computer Science 1 History and Philosophy of Logic 1 MSCS. Mathematical Structures in Computer Science 1 Theory of Computing Systems 1 Soft Computing 1 Lobachevskii Journal of Mathematics 1 Logic and Logical Philosophy 1 Journal of Multiple-Valued Logic and Soft Computing 1 Journal of Applied Logic 1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 Axioms all top 5 Cited in 11 Fields 175 Mathematical logic and foundations (03-XX) 36 Computer science (68-XX) 16 General algebraic systems (08-XX) 15 Order, lattices, ordered algebraic structures (06-XX) 5 General and overarching topics; collections (00-XX) 3 General topology (54-XX) 1 History and biography (01-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year