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 Homepage: http://math.sfu-kras.ru/node/303 External Links: MGP · ORCID · Google Scholar · ResearchGate · Math-Net.Ru · dblp Documents Indexed: 130 Publications since 1975, including 1 Book Reviewing Activity: 29 Reviews Co-Authors: 37 Co-Authors with 34 Joint Publications 528 Co-Co-Authors all top 5 Co-Authors 95 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, K. L. 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 12 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 6 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 Fields 127 Mathematical logic and foundations (03-XX) 27 Computer science (68-XX) 8 General algebraic systems (08-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 95 Publications have been cited 569 times in 175 Documents Cited by ▼ Year ▼ Admissibility of logical inference rules. Zbl 0872.03002Rybakov, V. V. 79 1997 A criterion for admissibility of rules in the modal system S4 and intuitionistic logic. Zbl 0598.03013Rybakov, V. V. 35 1984 A lattice of normal modal logics. Zbl 0315.02027Maksimova, L. L.; Rybakov, V. V. 22 1975 Logical consecutions in discrete linear temporal logic. Zbl 1110.03010Rybakov, V. V. 21 2005 Rules of inference with parameters for intuitionistic logic. Zbl 0788.03007Rybakov, Vladimir V. 20 1992 Linear temporal logic with until and next, logical consecutions. Zbl 1147.03008Rybakov, V. 16 2008 Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic \(\mathbf{IPC}^+\). Zbl 1323.03029Odintsov, Sergei; Rybakov, Vladimir 16 2013 Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026Babenyshev, Sergey; Rybakov, Vladimir 15 2011 Bases of admissible rules of the logics S4 and Int. Zbl 0598.03014Rybakov, V. V. 15 1985 Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. Zbl 0709.03009Rybakov, V. V. 15 1990 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. 11 2016 Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents. Zbl 1208.03023Rybakov, Vladimir 11 2009 Linear temporal logic with until and before on integer numbers, deciding algorithms. Zbl 1185.03022Rybakov, V. 9 2006 Multi-modal and temporal logics with universal formula – reduction of admissibility to validity and unification. Zbl 1149.03017Rybakov, V. 9 2008 A tableau method for checking rule admissibility in S4. Zbl 1345.03033Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry 9 2010 Logical equations and admissible rules of inference with parameters in modal provability logics. Zbl 0729.03012Rybakov, V. V. 9 1990 On finite model property for admissible rules. Zbl 0938.03033Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin 9 1999 Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151Rybakov, Vladimir 8 2009 Unification in linear temporal logic LTL. Zbl 1241.03014Babenyshev, Sergey; Rybakov, Vladimir 8 2011 Logical consecutions in intransitive temporal linear logic of finite intervals. Zbl 1091.03002Rybakov, Vladimir 8 2005 Admissible rules of pretabular modal logics. Zbl 0489.03005Rybakov, V. V. 8 1981 An essay on unification and inference rules for modal logics. Zbl 0952.03019Rybakov, V. V.; Terziler, M.; Gencer, C. 8 1999 Refined common knowledge logics or logics of common information. Zbl 1030.03015Rybakov, V. V. 7 2003 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 Multiagent temporal logics with multivaluations. Zbl 1469.03047Rybakov, V. V. 7 2018 Admissible rules for logics containing S4.3. Zbl 0582.03009Rybakov, V. V. 6 1984 Decidability of admissibility in the modal system Grz and in intuitionistic logic. Zbl 0624.03009Rybakov, V. V. 6 1987 Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154Rybakov, Vladimir Vladimirovich 6 2018 Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324Rybakov, V. 5 2007 Noncompact extensions of the logic S4. Zbl 0406.03039Rybakov, V. V. 5 1977 Hereditarily structurally complete modal logics. Zbl 0836.03014Rybakov, V. V. 5 1995 Decidability of the admissibility problem in layer-finite logics. Zbl 0576.03012Rybakov, V. V. 5 1984 Bases of admissible rules of the modal system Grz and of intuitionistic logic. Zbl 0617.03007Rybakov, V. V. 5 1987 Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004Rybakov, Vladimir V. 5 2013 Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060Rybakov, Vladimir V. 5 2017 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 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 Equations in free topoboolean algebra. Zbl 0624.03007Rybakov, V. V. 4 1986 Logics with the universal modality and admissible consecutions. Zbl 1186.03048Rybakov, Vladimir 4 2007 Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074Rybakov, Vladimir V. 4 2018 Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition. Zbl 1209.03011Rybakov, Vladimir 3 2010 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 Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036Odintsov, Sergei; Rybakov, Vladimir 3 2015 Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016Rybakov, Vladimir V. 3 1994 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 Elementary theories of free topo-Boolean and pseudo-Boolean algebras. Zbl 0593.03041Rybakov, V. V. 3 1985 Unification and passive inference rules for modal logics. Zbl 1040.03014Rybakov, V. V.; Terziler, M.; Gencer, C. 3 2000 Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\). Zbl 1342.03017Rybakov, Vladimir 3 2014 Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 1474.68340Rybakov, Vladimir 3 2016 Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126Rybakov, Vladimir Vladimirovich 3 2019 Projective formulas and unification in linear discrete temporal multi-agent logics. Zbl 1390.03019Bashmakov, Stepan Igorevich; Kosheleva, Anna Vladimirovna; Rybakov, Vladimir 3 2016 Modale Logiken mit LM-Axiomen. Zbl 0417.03007Rybakov, V. V. 2 1978 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 Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014Rybakov, Vladimir V. 2 1995 Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017Rybakov, Vladimir V. 2 1993 Independent bases for rules admissible in pretabular logics. Zbl 0956.03024Rybakov, V.; Kiyatkin, V.; Terziler, M. 2 1999 Problems of admissibility and substitution, logical equations and restricted theories of free algebras. Zbl 0691.03012Rybakov, V. V. 2 1989 Unification in common knowledge logics. Zbl 1036.03012Rybakov, V. V. 2 2002 Quasi-characteristic inference rules for modal logics. Zbl 0887.03014Rybakov, Vladimir V. 2 1997 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 2 1999 Best unifiers in transitive modal logics. Zbl 1247.03029Rybakov, Vladimir V. 2 2011 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 A note on globally admissible inference rules for modal and superintuitionistic logics. Zbl 1117.03024Rimatksi, V. V.; Rybakov, V. V. 1 2005 Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063Rybakov, V. 1 2008 Elementary theories of free algebras for varieties corresponding to non-classical logics. Zbl 0853.03012Rybakov, Vladimir V. 1 1996 Completeness of modal logics with prefinite width. Zbl 0504.03008Rybakov, V. V. 1 1983 Tabular logics with no finite bases for inference rules. Zbl 1073.03012Rybakov, V. 1 2004 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 Residual finiteness for admissible inference rules. Zbl 0989.03015Rybakov, V. V.; Kiyatkin, V. R.; Oner, T. 1 2001 Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515Rybakov, Vladimir V. 1 1995 A criterion for admissibility of rules of inference in modal and intuitionistic logic. Zbl 0596.03025Rybakov, V. V. 1 1985 Equations in a free topoboolean algebra and the substitution problem. Zbl 0607.06008Rybakov, V. V. 1 1986 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 Preservation of admissibility of inference rules in the logics similar to S4. 2. Zbl 1010.03011Rybakov, V. V.; Rimatskij, V. V. 1 2002 Description of modal logics inheriting admissible rules for S4. Zbl 0942.03031Rybakov, V. V.; Gencer, C.; Oner, T. 1 1999 Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V. 1 2005 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 The structure of rigid frames of restricted depth 2. Zbl 0965.03025Rybakov, V. V.; Oner, T. 1 1998 Many-valued multi-modal logics, satisfiability problem. Zbl 1436.03138Moor, Michael Alexandrovich; Rybakov, Vladimir Vladimirovich 1 2018 Non-unifiability in linear temporal logic of knowledge with multi-agent relations. Zbl 1390.03020Bashmakov, Stepan Igorevich; Kosheleva, Anna Vladimirovna; Rybakov, Vladimir 1 2016 Unification problem in Nelson’s logic \(\mathbf{N4}\). Zbl 1354.03032Odintsov, S. P.; Rybakov, V. V. 1 2014 Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016Rybakov, Vladimir 1 2008 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 07266248Rybakov, 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 07266248Rybakov, V. V. 1 2020 Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126Rybakov, Vladimir Vladimirovich 3 2019 Multiagent temporal logics with multivaluations. Zbl 1469.03047Rybakov, V. V. 7 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. 5 2017 Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028Rybakov, Vladimir V. 11 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 3 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 16 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 15 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. 16 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 An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Zbl 1134.03011Calardo, Erica; Rybakov, Vladimir V. 4 2007 Logics with the universal modality and admissible consecutions. Zbl 1186.03048Rybakov, Vladimir 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. 21 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 A note on globally admissible inference rules for modal and superintuitionistic logics. Zbl 1117.03024Rimatksi, V. V.; Rybakov, V. V. 1 2005 Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021Golovanov, M. I.; Kosheleva, A. V.; Rybakov, 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. 3 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 Independent bases for rules admissible in pretabular logics. Zbl 0956.03024Rybakov, V.; Kiyatkin, V.; Terziler, M. 2 1999 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 2 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. 79 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. 20 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. 15 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. 35 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 Modale Logiken mit LM-Axiomen. Zbl 0417.03007Rybakov, V. V. 2 1978 Noncompact extensions of the logic S4. Zbl 0413.03013Rybakov, 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 105 Authors 44 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 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 Dzik, Wojciech 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 1 Andréka, Hajnal 1 Baader, Franz 1 Baltazar, Pedro 1 Beklemishev, Lev D. 1 Beyersdorff, Olaf 1 Blok, Wim J. 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 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 Pohlers, Wolfram 1 Priestley, Hilary A. 1 Pudlák, Pavel 1 Rabe, Florian 1 Raftery, James G. 1 Rathjen, Michael 1 Rautenberg, Wolfgang 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. 1 van Ditmarsch, Hans Pieter 1 Vardi, Moshe Ya’akov 1 Vargas, Ana Lucia 1 Venema, Yde ...and 5 more Authors all top 5 Cited in 35 Serials 22 Algebra and Logic 20 Studia Logica 14 Annals of Pure and Applied Logic 11 The Journal of Symbolic Logic 9 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 Logica Universalis 5 Sibirskie Èlektronnye Matematicheskie Izvestiya 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 Applied Logic 1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 Axioms all top 5 Cited in 10 Fields 169 Mathematical logic and foundations (03-XX) 34 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 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year