# zbMATH — the first resource for mathematics

## Rybakov, Vladimir Vladimirovich

Compute Distance To:
 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)

#### Citations contained in zbMATH

79 Publications have been cited 456 times in 157 Documents Cited by Year
Admissibility of logical inference rules. Zbl 0872.03002
Rybakov, V. V.
1997
A criterion for admissibility of rules in the modal system S4 and intuitionistic logic. Zbl 0598.03013
Rybakov, V. V.
1984
A lattice of normal modal logics. Zbl 0315.02027
Maksimova, L. L.; Rybakov, V. V.
1975
Rules of inference with parameters for intuitionistic logic. Zbl 0788.03007
Rybakov, Vladimir V.
1992
Logical consecutions in discrete linear temporal logic. Zbl 1110.03010
Rybakov, V. V.
2005
Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic $$\mathbf{IPC}^+$$. Zbl 1323.03029
Odintsov, Sergei; Rybakov, Vladimir
2013
Linear temporal logic with until and next, logical consecutions. Zbl 1147.03008
Rybakov, V.
2008
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
Babenyshev, Sergey; Rybakov, Vladimir
2011
Bases of admissible rules of the logics S4 and Int. Zbl 0598.03014
Rybakov, V. V.
1985
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. Zbl 0709.03009
Rybakov, V. V.
1990
Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027
Rybakov, Vladimir V.
2001
Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028
Rybakov, Vladimir V.
2016
Linear temporal logic $${\mathcal{LTL}}_K$$ extended by multi-agent logic $$\text{K}_n$$ with interacting agents. Zbl 1208.03023
Rybakov, Vladimir
2009
Multi-modal and temporal logics with universal formula – reduction of admissibility to validity and unification. Zbl 1149.03017
Rybakov, V.
2008
A tableau method for checking rule admissibility in S4. Zbl 1345.03033
Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry
2010
Linear temporal logic with until and before on integer numbers, deciding algorithms. Zbl 1185.03022
Rybakov, V.
2006
On finite model property for admissible rules. Zbl 0938.03033
Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin
1999
Admissible rules of pretabular modal logics. Zbl 0489.03005
Rybakov, V. V.
1981
Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151
Rybakov, Vladimir
2009
Logical consecutions in intransitive temporal linear logic of finite intervals. Zbl 1091.03002
Rybakov, Vladimir
2005
Logical equations and admissible rules of inference with parameters in modal provability logics. Zbl 0729.03012
Rybakov, V. V.
1990
Unification in linear temporal logic LTL. Zbl 1241.03014
Babenyshev, Sergey; Rybakov, Vladimir
2011
Refined common knowledge logics or logics of common information. Zbl 1030.03015
Rybakov, V. V.
2003
An essay on unification and inference rules for modal logics. Zbl 0952.03019
Rybakov, V. V.; Terziler, M.; Gencer, C.
1999
Hereditarily structurally complete modal logics. Zbl 0836.03014
Rybakov, V. V.
1995
Decidability of admissibility in the modal system Grz and in intuitionistic logic. Zbl 0624.03009
Rybakov, V. V.
1987
Admissible rules for logics containing S4.3. Zbl 0582.03009
Rybakov, V. V.
1984
Noncompact extensions of the logic S4. Zbl 0406.03039
Rybakov, V. V.
1977
Multiagent temporal logics with multivaluations. Zbl 06976648
Rybakov, V. V.
2018
Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. Zbl 1142.03323
Babenyshev, Sergey; Rybakov, Vladimir
2008
Logics with the universal modality and admissible consecutions. Zbl 1186.03048
Rybakov, Vladimir
2007
A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. Zbl 0955.03037
Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy
2000
Bases of admissible rules of the modal system Grz and of intuitionistic logic. Zbl 0617.03007
Rybakov, V. V.
1987
Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154
Rybakov, Vladimir Vladimirovich
2018
Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060
Rybakov, Vladimir V.
2017
Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004
Rybakov, Vladimir V.
2013
Rules admissible in transitive temporal logic $$\mathrm{T}_{\mathrm{S}4}$$, sufficient condition. Zbl 1209.03011
Rybakov, Vladimir
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.03011
Rybakov, V.
2008
An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Zbl 1134.03011
Calardo, Erica; Rybakov, Vladimir V.
2007
Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324
Rybakov, V.
2007
Unification and passive inference rules for modal logics. Zbl 1040.03014
Rybakov, V. V.; Terziler, M.; Gencer, C.
2000
A modal analog for Glivenko’s theorem and its applications. Zbl 0788.03020
Rybakov, V. V.
1992
Equations in free topoboolean algebra. Zbl 0624.03007
Rybakov, V. V.
1986
Decidability of the admissibility problem in layer-finite logics. Zbl 0576.03012
Rybakov, V. V.
1984
Bases of quasiidentities of finite modal algebras. Zbl 0507.08005
Rybakov, V. V.
1982
Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074
Rybakov, Vladimir V.
2018
Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 06751250
Rybakov, Vladimir
2016
Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036
Odintsov, Sergei; Rybakov, Vladimir
2015
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050
Rybakov, Vladimir
2013
Writing out unifiers in linear temporal logic. Zbl 1259.03029
Rybakov, Vladimir V.
2012
Combining time and knowledge, semantic approach. Zbl 1117.03021
Calardo, E.; Rybakov, V.
2005
Unification in common knowledge logics. Zbl 1036.03012
Rybakov, V. V.
2002
Quasi-characteristic inference rules for modal logics. Zbl 0887.03014
Rybakov, Vladimir V.
1997
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016
Rybakov, Vladimir V.
1994
Problems of admissibility and substitution, logical equations and restricted theories of free algebras. Zbl 0691.03012
Rybakov, V. V.
1989
Elementary theories of free topo-Boolean and pseudo-Boolean algebras. Zbl 0593.03041
Rybakov, V. V.
1985
Admissible rules for pretable modal logics. Zbl 0496.03008
Rybakov, V. V.
1982
Modale Logiken mit LM-Axiomen. Zbl 0417.03007
Rybakov, V. V.
1978
Noncompact extensions of the logic S4. Zbl 0413.03013
Rybakov, V. V.
1978
Hereditarily finitely axiomatizable extensions of logic S4. Zbl 0358.02022
Rybakov, V. V.
1977
Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126
Rybakov, Vladimir Vladimirovich
2019
Projective formulas and unification in linear temporal logic $$\mathrm{LTL}_{U}$$. Zbl 1342.03017
Rybakov, Vladimir
2014
Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016
Rybakov, Vladimir
2008
Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063
Rybakov, V.
2008
Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021
Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V.
2005
Residual finiteness for admissible inference rules. Zbl 0989.03015
Rybakov, V. V.; Kiyatkin, V. R.; Oner, T.
2001
On self-admissible quasi-characterizing inference rules. Zbl 0969.03032
Rybakov, V. V.; Terziler, M.; Gencer, C.
2000
An explicit basis for rules admissible in modal system S4. Zbl 0961.03021
Rybakov, Vladimir V.
1999
Independent bases for rules admissible in pretabular logics. Zbl 0956.03024
Rybakov, V.; Kiyatkin, V.; Terziler, M.
1999
The structure of rigid frames of restricted depth 2. Zbl 0965.03025
Rybakov, V. V.; Oner, T.
1998
Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515
Rybakov, Vladimir V.
1995
Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014
Rybakov, Vladimir V.
1995
Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017
Rybakov, Vladimir V.
1993
Solvability of logical equations in the modal system Grz and in intuitionistic logic. Zbl 0729.03014
Rybakov, V. V.
1991
Semantic criteria for admissible inference rules in the logics S4 and Int. Zbl 0729.03013
Rybakov, V. V.
1991
Equations in a free topoboolean algebra and the substitution problem. Zbl 0607.06008
Rybakov, V. V.
1986
A criterion for admissibility of rules of inference in modal and intuitionistic logic. Zbl 0596.03025
Rybakov, V. V.
1985
Modal logics with LM-axioms. Zbl 0427.03013
Rybakov, V. V.
1979
A decidable noncompact extension of the logic S4. Zbl 0415.03012
Rybakov, V. V.
1979
Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126
Rybakov, Vladimir Vladimirovich
2019
Multiagent temporal logics with multivaluations. Zbl 06976648
Rybakov, V. V.
2018
Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154
Rybakov, Vladimir Vladimirovich
2018
Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074
Rybakov, Vladimir V.
2018
Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060
Rybakov, Vladimir V.
2017
Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028
Rybakov, Vladimir V.
2016
Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 06751250
Rybakov, Vladimir
2016
Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036
Odintsov, Sergei; Rybakov, Vladimir
2015
Projective formulas and unification in linear temporal logic $$\mathrm{LTL}_{U}$$. Zbl 1342.03017
Rybakov, Vladimir
2014
Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic $$\mathbf{IPC}^+$$. Zbl 1323.03029
Odintsov, Sergei; Rybakov, Vladimir
2013
Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004
Rybakov, Vladimir V.
2013
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050
Rybakov, Vladimir
2013
Writing out unifiers in linear temporal logic. Zbl 1259.03029
Rybakov, Vladimir V.
2012
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
Babenyshev, Sergey; Rybakov, Vladimir
2011
Unification in linear temporal logic LTL. Zbl 1241.03014
Babenyshev, Sergey; Rybakov, Vladimir
2011
A tableau method for checking rule admissibility in S4. Zbl 1345.03033
Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry
2010
Rules admissible in transitive temporal logic $$\mathrm{T}_{\mathrm{S}4}$$, sufficient condition. Zbl 1209.03011
Rybakov, Vladimir
2010
Linear temporal logic $${\mathcal{LTL}}_K$$ extended by multi-agent logic $$\text{K}_n$$ with interacting agents. Zbl 1208.03023
Rybakov, Vladimir
2009
Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151
Rybakov, Vladimir
2009
Linear temporal logic with until and next, logical consecutions. Zbl 1147.03008
Rybakov, V.
2008
Multi-modal and temporal logics with universal formula – reduction of admissibility to validity and unification. Zbl 1149.03017
Rybakov, V.
2008
Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. Zbl 1142.03323
Babenyshev, Sergey; Rybakov, Vladimir
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.03011
Rybakov, V.
2008
Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016
Rybakov, Vladimir
2008
Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063
Rybakov, V.
2008
Logics with the universal modality and admissible consecutions. Zbl 1186.03048
Rybakov, Vladimir
2007
An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Zbl 1134.03011
Calardo, Erica; Rybakov, Vladimir V.
2007
Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324
Rybakov, V.
2007
Linear temporal logic with until and before on integer numbers, deciding algorithms. Zbl 1185.03022
Rybakov, V.
2006
Logical consecutions in discrete linear temporal logic. Zbl 1110.03010
Rybakov, V. V.
2005
Logical consecutions in intransitive temporal linear logic of finite intervals. Zbl 1091.03002
Rybakov, Vladimir
2005
Combining time and knowledge, semantic approach. Zbl 1117.03021
Calardo, E.; Rybakov, V.
2005
Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021
Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V.
2005
Refined common knowledge logics or logics of common information. Zbl 1030.03015
Rybakov, V. V.
2003
Unification in common knowledge logics. Zbl 1036.03012
Rybakov, V. V.
2002
Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027
Rybakov, Vladimir V.
2001
Residual finiteness for admissible inference rules. Zbl 0989.03015
Rybakov, V. V.; Kiyatkin, V. R.; Oner, T.
2001
A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. Zbl 0955.03037
Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy
2000
Unification and passive inference rules for modal logics. Zbl 1040.03014
Rybakov, V. V.; Terziler, M.; Gencer, C.
2000
On self-admissible quasi-characterizing inference rules. Zbl 0969.03032
Rybakov, V. V.; Terziler, M.; Gencer, C.
2000
On finite model property for admissible rules. Zbl 0938.03033
Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin
1999
An essay on unification and inference rules for modal logics. Zbl 0952.03019
Rybakov, V. V.; Terziler, M.; Gencer, C.
1999
An explicit basis for rules admissible in modal system S4. Zbl 0961.03021
Rybakov, Vladimir V.
1999
Independent bases for rules admissible in pretabular logics. Zbl 0956.03024
Rybakov, V.; Kiyatkin, V.; Terziler, M.
1999
The structure of rigid frames of restricted depth 2. Zbl 0965.03025
Rybakov, V. V.; Oner, T.
1998
Admissibility of logical inference rules. Zbl 0872.03002
Rybakov, V. V.
1997
Quasi-characteristic inference rules for modal logics. Zbl 0887.03014
Rybakov, Vladimir V.
1997
Hereditarily structurally complete modal logics. Zbl 0836.03014
Rybakov, V. V.
1995
Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515
Rybakov, Vladimir V.
1995
Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014
Rybakov, Vladimir V.
1995
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016
Rybakov, Vladimir V.
1994
Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017
Rybakov, Vladimir V.
1993
Rules of inference with parameters for intuitionistic logic. Zbl 0788.03007
Rybakov, Vladimir V.
1992
A modal analog for Glivenko’s theorem and its applications. Zbl 0788.03020
Rybakov, V. V.
1992
Solvability of logical equations in the modal system Grz and in intuitionistic logic. Zbl 0729.03014
Rybakov, V. V.
1991
Semantic criteria for admissible inference rules in the logics S4 and Int. Zbl 0729.03013
Rybakov, V. V.
1991
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. Zbl 0709.03009
Rybakov, V. V.
1990
Logical equations and admissible rules of inference with parameters in modal provability logics. Zbl 0729.03012
Rybakov, V. V.
1990
Problems of admissibility and substitution, logical equations and restricted theories of free algebras. Zbl 0691.03012
Rybakov, V. V.
1989
Decidability of admissibility in the modal system Grz and in intuitionistic logic. Zbl 0624.03009
Rybakov, V. V.
1987
Bases of admissible rules of the modal system Grz and of intuitionistic logic. Zbl 0617.03007
Rybakov, V. V.
1987
Equations in free topoboolean algebra. Zbl 0624.03007
Rybakov, V. V.
1986
Equations in a free topoboolean algebra and the substitution problem. Zbl 0607.06008
Rybakov, V. V.
1986
Bases of admissible rules of the logics S4 and Int. Zbl 0598.03014
Rybakov, V. V.
1985
Elementary theories of free topo-Boolean and pseudo-Boolean algebras. Zbl 0593.03041
Rybakov, V. V.
1985
A criterion for admissibility of rules of inference in modal and intuitionistic logic. Zbl 0596.03025
Rybakov, V. V.
1985
A criterion for admissibility of rules in the modal system S4 and intuitionistic logic. Zbl 0598.03013
Rybakov, V. V.
1984
Admissible rules for logics containing S4.3. Zbl 0582.03009
Rybakov, V. V.
1984
Decidability of the admissibility problem in layer-finite logics. Zbl 0576.03012
Rybakov, V. V.
1984
Bases of quasiidentities of finite modal algebras. Zbl 0507.08005
Rybakov, V. V.
1982
Admissible rules for pretable modal logics. Zbl 0496.03008
Rybakov, V. V.
1982
Admissible rules of pretabular modal logics. Zbl 0489.03005
Rybakov, V. V.
1981
Modal logics with LM-axioms. Zbl 0427.03013
Rybakov, V. V.
1979
A decidable noncompact extension of the logic S4. Zbl 0415.03012
Rybakov, V. V.
1979
Modale Logiken mit LM-Axiomen. Zbl 0417.03007
Rybakov, V. V.
1978
Noncompact extensions of the logic S4. Zbl 0413.03013
Rybakov, V. V.
1978
Noncompact extensions of the logic S4. Zbl 0406.03039
Rybakov, V. V.
1977
Hereditarily finitely axiomatizable extensions of logic S4. Zbl 0358.02022
Rybakov, V. V.
1977
A lattice of normal modal logics. Zbl 0315.02027
Maksimova, L. L.; Rybakov, V. V.
1975
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)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.