Edit Profile Rybakov, Vladimir Vladimirovich Compute Distance To: Compute Author ID: rybakov.vladimir-vladimirovich Published as: Rybakov, V.; Rybakov, V. V.; Rybakov, Vladimir; Rybakov, Vladimir V.; Rybakov, Vladimir Vladimirovich Homepage: http://math.sfu-kras.ru/node/303 External Links: MGP · Math-Net.Ru · Wikidata · ORCID · ResearchGate · dblp Documents Indexed: 123 Publications since 1975, including 1 Book Reviewing Activity: 29 Reviews all top 5 Co-Authors 90 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 2 Rimatskij, V. V. 1 Alaev, Pavel Evgenievich 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 Luk’yanchuk, A. N. 1 Mazurov, Viktor Danilovich 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 Journal of Logic and Computation 5 Siberian Mathematical Journal 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 121 Mathematical logic and foundations (03-XX) 18 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 79 Publications have been cited 456 times in 157 Documents Cited by ▼ Year ▼ Admissibility of logical inference rules. Zbl 0872.03002Rybakov, V. V. 71 1997 A criterion for admissibility of rules in the modal system S4 and intuitionistic logic. Zbl 0598.03013Rybakov, V. V. 29 1984 A lattice of normal modal logics. Zbl 0315.02027Maksimova, L. L.; Rybakov, V. V. 21 1975 Rules of inference with parameters for intuitionistic logic. Zbl 0788.03007Rybakov, Vladimir V. 18 1992 Logical consecutions in discrete linear temporal logic. Zbl 1110.03010Rybakov, V. V. 17 2005 Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic \(\mathbf{IPC}^+\). Zbl 1323.03029Odintsov, Sergei; Rybakov, Vladimir 14 2013 Linear temporal logic with until and next, logical consecutions. Zbl 1147.03008Rybakov, V. 14 2008 Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026Babenyshev, Sergey; Rybakov, Vladimir 13 2011 Bases of admissible rules of the logics S4 and Int. Zbl 0598.03014Rybakov, V. V. 13 1985 Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. Zbl 0709.03009Rybakov, V. V. 12 1990 Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027Rybakov, Vladimir V. 11 2001 Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028Rybakov, Vladimir V. 9 2016 Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents. Zbl 1208.03023Rybakov, Vladimir 9 2009 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 8 2010 Linear temporal logic with until and before on integer numbers, deciding algorithms. Zbl 1185.03022Rybakov, V. 8 2006 On finite model property for admissible rules. Zbl 0938.03033Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin 8 1999 Admissible rules of pretabular modal logics. Zbl 0489.03005Rybakov, V. V. 8 1981 Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151Rybakov, Vladimir 7 2009 Logical consecutions in intransitive temporal linear logic of finite intervals. Zbl 1091.03002Rybakov, Vladimir 7 2005 Logical equations and admissible rules of inference with parameters in modal provability logics. Zbl 0729.03012Rybakov, V. V. 7 1990 Unification in linear temporal logic LTL. Zbl 1241.03014Babenyshev, Sergey; Rybakov, Vladimir 6 2011 Refined common knowledge logics or logics of common information. Zbl 1030.03015Rybakov, V. V. 6 2003 An essay on unification and inference rules for modal logics. Zbl 0952.03019Rybakov, V. V.; Terziler, M.; Gencer, C. 6 1999 Hereditarily structurally complete modal logics. Zbl 0836.03014Rybakov, V. V. 5 1995 Decidability of admissibility in the modal system Grz and in intuitionistic logic. Zbl 0624.03009Rybakov, V. V. 5 1987 Admissible rules for logics containing S4.3. Zbl 0582.03009Rybakov, V. V. 5 1984 Noncompact extensions of the logic S4. Zbl 0406.03039Rybakov, V. V. 5 1977 Multiagent temporal logics with multivaluations. Zbl 06976648Rybakov, V. V. 4 2018 Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. Zbl 1142.03323Babenyshev, Sergey; Rybakov, Vladimir 4 2008 Logics with the universal modality and admissible consecutions. Zbl 1186.03048Rybakov, Vladimir 4 2007 A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. Zbl 0955.03037Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy 4 2000 Bases of admissible rules of the modal system Grz and of intuitionistic logic. Zbl 0617.03007Rybakov, V. V. 4 1987 Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154Rybakov, Vladimir Vladimirovich 3 2018 Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060Rybakov, Vladimir V. 3 2017 Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004Rybakov, Vladimir V. 3 2013 Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition. Zbl 1209.03011Rybakov, Vladimir 3 2010 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 An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Zbl 1134.03011Calardo, Erica; Rybakov, Vladimir V. 3 2007 Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324Rybakov, V. 3 2007 Unification and passive inference rules for modal logics. Zbl 1040.03014Rybakov, V. V.; Terziler, M.; Gencer, C. 3 2000 A modal analog for Glivenko’s theorem and its applications. Zbl 0788.03020Rybakov, V. V. 3 1992 Equations in free topoboolean algebra. Zbl 0624.03007Rybakov, V. V. 3 1986 Decidability of the admissibility problem in layer-finite logics. Zbl 0576.03012Rybakov, V. V. 3 1984 Bases of quasiidentities of finite modal algebras. Zbl 0507.08005Rybakov, V. V. 3 1982 Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074Rybakov, Vladimir V. 2 2018 Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 06751250Rybakov, Vladimir 2 2016 Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036Odintsov, Sergei; Rybakov, Vladimir 2 2015 Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050Rybakov, Vladimir 2 2013 Writing out unifiers in linear temporal logic. Zbl 1259.03029Rybakov, Vladimir V. 2 2012 Combining time and knowledge, semantic approach. Zbl 1117.03021Calardo, E.; Rybakov, V. 2 2005 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 Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016Rybakov, Vladimir V. 2 1994 Problems of admissibility and substitution, logical equations and restricted theories of free algebras. Zbl 0691.03012Rybakov, V. V. 2 1989 Elementary theories of free topo-Boolean and pseudo-Boolean algebras. Zbl 0593.03041Rybakov, V. V. 2 1985 Admissible rules for pretable modal logics. Zbl 0496.03008Rybakov, V. V. 2 1982 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 Hereditarily finitely axiomatizable extensions of logic S4. Zbl 0358.02022Rybakov, V. V. 2 1977 Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126Rybakov, Vladimir Vladimirovich 1 2019 Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\). Zbl 1342.03017Rybakov, Vladimir 1 2014 Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016Rybakov, Vladimir 1 2008 Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063Rybakov, V. 1 2008 Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V. 1 2005 Residual finiteness for admissible inference rules. Zbl 0989.03015Rybakov, V. V.; Kiyatkin, V. R.; Oner, T. 1 2001 On self-admissible quasi-characterizing inference rules. Zbl 0969.03032Rybakov, V. V.; Terziler, M.; Gencer, C. 1 2000 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 1 1999 Independent bases for rules admissible in pretabular logics. Zbl 0956.03024Rybakov, V.; Kiyatkin, V.; Terziler, M. 1 1999 The structure of rigid frames of restricted depth 2. Zbl 0965.03025Rybakov, V. V.; Oner, T. 1 1998 Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515Rybakov, Vladimir V. 1 1995 Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014Rybakov, Vladimir V. 1 1995 Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017Rybakov, Vladimir V. 1 1993 Solvability of logical equations in the modal system Grz and in intuitionistic logic. Zbl 0729.03014Rybakov, V. V. 1 1991 Semantic criteria for admissible inference rules in the logics S4 and Int. Zbl 0729.03013Rybakov, V. V. 1 1991 Equations in a free topoboolean algebra and the substitution problem. Zbl 0607.06008Rybakov, V. V. 1 1986 A criterion for admissibility of rules of inference in modal and intuitionistic logic. Zbl 0596.03025Rybakov, V. V. 1 1985 Modal logics with LM-axioms. Zbl 0427.03013Rybakov, V. V. 1 1979 A decidable noncompact extension of the logic S4. Zbl 0415.03012Rybakov, V. V. 1 1979 Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126Rybakov, Vladimir Vladimirovich 1 2019 Multiagent temporal logics with multivaluations. Zbl 06976648Rybakov, V. V. 4 2018 Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154Rybakov, Vladimir Vladimirovich 3 2018 Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074Rybakov, Vladimir V. 2 2018 Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060Rybakov, Vladimir V. 3 2017 Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028Rybakov, Vladimir V. 9 2016 Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 06751250Rybakov, Vladimir 2 2016 Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036Odintsov, Sergei; Rybakov, Vladimir 2 2015 Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\). Zbl 1342.03017Rybakov, Vladimir 1 2014 Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic \(\mathbf{IPC}^+\). Zbl 1323.03029Odintsov, Sergei; Rybakov, Vladimir 14 2013 Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004Rybakov, Vladimir V. 3 2013 Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050Rybakov, Vladimir 2 2013 Writing out unifiers in linear temporal logic. Zbl 1259.03029Rybakov, Vladimir V. 2 2012 Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026Babenyshev, Sergey; Rybakov, Vladimir 13 2011 Unification in linear temporal logic LTL. Zbl 1241.03014Babenyshev, Sergey; Rybakov, Vladimir 6 2011 A tableau method for checking rule admissibility in S4. Zbl 1345.03033Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry 8 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 9 2009 Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151Rybakov, Vladimir 7 2009 Linear temporal logic with until and next, logical consecutions. Zbl 1147.03008Rybakov, V. 14 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 Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016Rybakov, Vladimir 1 2008 Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063Rybakov, V. 1 2008 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. 3 2007 Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324Rybakov, V. 3 2007 Linear temporal logic with until and before on integer numbers, deciding algorithms. Zbl 1185.03022Rybakov, V. 8 2006 Logical consecutions in discrete linear temporal logic. Zbl 1110.03010Rybakov, V. V. 17 2005 Logical consecutions in intransitive temporal linear logic of finite intervals. Zbl 1091.03002Rybakov, Vladimir 7 2005 Combining time and knowledge, semantic approach. Zbl 1117.03021Calardo, E.; Rybakov, V. 2 2005 Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V. 1 2005 Refined common knowledge logics or logics of common information. Zbl 1030.03015Rybakov, V. V. 6 2003 Unification in common knowledge logics. Zbl 1036.03012Rybakov, V. V. 2 2002 Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027Rybakov, Vladimir V. 11 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 4 2000 Unification and passive inference rules for modal logics. Zbl 1040.03014Rybakov, V. V.; Terziler, M.; Gencer, C. 3 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 8 1999 An essay on unification and inference rules for modal logics. Zbl 0952.03019Rybakov, V. V.; Terziler, M.; Gencer, C. 6 1999 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 1 1999 Independent bases for rules admissible in pretabular logics. Zbl 0956.03024Rybakov, V.; Kiyatkin, V.; Terziler, M. 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. 71 1997 Quasi-characteristic inference rules for modal logics. Zbl 0887.03014Rybakov, Vladimir V. 2 1997 Hereditarily structurally complete modal logics. Zbl 0836.03014Rybakov, V. V. 5 1995 Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515Rybakov, Vladimir V. 1 1995 Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014Rybakov, Vladimir V. 1 1995 Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016Rybakov, Vladimir V. 2 1994 Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017Rybakov, Vladimir V. 1 1993 Rules of inference with parameters for intuitionistic logic. Zbl 0788.03007Rybakov, Vladimir V. 18 1992 A modal analog for Glivenko’s theorem and its applications. Zbl 0788.03020Rybakov, V. V. 3 1992 Solvability of logical equations in the modal system Grz and in intuitionistic logic. Zbl 0729.03014Rybakov, V. V. 1 1991 Semantic criteria for admissible inference rules in the logics S4 and Int. Zbl 0729.03013Rybakov, V. V. 1 1991 Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. Zbl 0709.03009Rybakov, V. V. 12 1990 Logical equations and admissible rules of inference with parameters in modal provability logics. Zbl 0729.03012Rybakov, V. V. 7 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. 5 1987 Bases of admissible rules of the modal system Grz and of intuitionistic logic. Zbl 0617.03007Rybakov, V. V. 4 1987 Equations in free topoboolean algebra. Zbl 0624.03007Rybakov, V. V. 3 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. 13 1985 Elementary theories of free topo-Boolean and pseudo-Boolean algebras. Zbl 0593.03041Rybakov, V. V. 2 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. 29 1984 Admissible rules for logics containing S4.3. Zbl 0582.03009Rybakov, V. V. 5 1984 Decidability of the admissibility problem in layer-finite logics. Zbl 0576.03012Rybakov, V. V. 3 1984 Bases of quasiidentities of finite modal algebras. Zbl 0507.08005Rybakov, V. V. 3 1982 Admissible rules for pretable modal logics. Zbl 0496.03008Rybakov, V. V. 2 1982 Admissible rules of pretabular modal logics. Zbl 0489.03005Rybakov, V. V. 8 1981 Modal logics with LM-axioms. Zbl 0427.03013Rybakov, V. V. 1 1979 A decidable noncompact extension of the logic S4. Zbl 0415.03012Rybakov, 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. 21 1975 all cited Publications top 5 cited Publications all top 5 Cited by 98 Authors 39 Rybakov, Vladimir Vladimirovich 13 Iemhoff, Rosalie 9 Maksimova, Larisa L’vovna 8 Citkin, Alex 6 Zakharyaschev, Michael Viktorovich 5 Bezhanishvili, Nick 5 Goudsmit, Jeroen P. 4 Gencer, Çigdem 4 Ghilardi, Silvio 4 Jeřábek, Emil 4 Metcalfe, George 4 Rimatskij, V. V. 3 Balbiani, Philippe 3 Bezhanishvili, Guram 3 Chagrov, Aleksandr Vasil’evich 3 de Jongh, Dick H. J. 3 Schmidt, Renate A. 3 Tishkovsky, Dmitry 3 Wolter, Frank 3 Yun, Veta Fëdorovna 2 Babenyshev, S. V. 2 Babenyshev, Sergey 2 Cabrer, Leonardo Manuel 2 Dzik, Wojciech 2 Hartonas, Chrysafis 2 Kiyatkin, Vladimir R. 2 Luk’yanchuk, A. N. 2 Moraschini, Tommaso 2 Odintsov, Sergei P. 2 Oner, Tahsin 2 Pigozzi, Don Leonard 2 Rozière, Paul 2 Stronkowski, Michał Marek 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 Cintula, Petr 1 Citkin, Alexander 1 Colacito, Almudena 1 Conradie, Willem J. 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 Kostrzycka, Zofia 1 Kutz, Oliver 1 Lempp, Steffen 1 Martins, Manuel António 1 Moor, Michael Alexandrovich 1 Morawska, Barbara 1 Mundici, Daniele 1 Muravitsky, Alexei Yu. 1 Németi, István 1 Palmigiano, Alessandra 1 Pohlers, Wolfram 1 Priestley, Hilary A. 1 Pudlák, Pavel 1 Rabe, Florian 1 Raftery, James G. 1 Rasga, João 1 Rathjen, Michael 1 Rautenberg, Wolfgang 1 Rotolo, Antonino 1 Schwichtenberg, Helmut 1 Sernadas, Amilcar C. 1 Sernadas, Cristina S. 1 Shen, Weina 1 Shkatov, Dmitry 1 Sutcliffe, Geoff 1 Świrydowicz, Katarzyna 1 Terziler, Mehmet 1 Vakarelov, Dimiter 1 van Alten, Clint J. 1 Vardi, Moshe Y. 1 Vargas, Ana Lucia 1 Venema, Yde 1 Yang, Eunsuk 1 Yang, Fan 1 Yashin, Aleksandr D. 1 Zhao, Zhiguang all top 5 Cited in 31 Serials 22 Algebra and Logic 18 Studia Logica 15 Annals of Pure and Applied Logic 11 The Journal of Symbolic Logic 7 Siberian Mathematical Journal 7 Journal of Applied Non-Classical Logics 7 The Bulletin of Symbolic Logic 6 Archive for Mathematical Logic 5 Sibirskie Èlektronnye Matematicheskie Izvestiya 5 Logica Universalis 5 The Review of Symbolic Logic 4 Notre Dame Journal of Formal Logic 3 Algebra Universalis 3 Journal of Philosophical Logic 3 Mathematical Logic Quarterly (MLQ) 2 Mathematical Notes 2 Theoretical Computer Science 2 Transactions of the American Mathematical Society 2 Bulletin of the Section of Logic 2 Logical Methods in Computer Science 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Pure and Applied Algebra 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 Axioms all top 5 Cited in 10 Fields 151 Mathematical logic and foundations (03-XX) 20 Computer science (68-XX) 15 General algebraic systems (08-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 5 General and overarching topics; collections (00-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 General topology (54-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.