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

### 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.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
1992
Logical consecutions in discrete linear temporal logic. Zbl 1110.03010
Rybakov, V. V.
2005
Linear temporal logic with until and next, logical consecutions. Zbl 1147.03008
Rybakov, V.
2008
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. Zbl 0709.03009
Rybakov, V. V.
1990
Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic $$\mathbf{IPC}^+$$. Zbl 1323.03029
2013
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
2011
Bases of admissible rules of the logics S4 and Int. Zbl 0598.03014
Rybakov, V. V.
1985
Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027
2001
Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028
2016
Linear temporal logic $${\mathcal{LTL}}_K$$ extended by multi-agent logic $$\text{K}_n$$ with interacting agents. Zbl 1208.03023
2009
Multi-modal and temporal logics with universal formula – reduction of admissibility to validity and unification. Zbl 1149.03017
Rybakov, V.
2008
On finite model property for admissible rules. Zbl 0938.03033
1999
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
Logical equations and admissible rules of inference with parameters in modal provability logics. Zbl 0729.03012
Rybakov, V. V.
1990
An essay on unification and inference rules for modal logics. Zbl 0952.03019
Rybakov, V. V.; Terziler, M.; Gencer, C.
1999
Unification in linear temporal logic LTL. Zbl 1241.03014
2011
Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151
2009
Admissible rules of pretabular modal logics. Zbl 0489.03005
Rybakov, V. V.
1981
Logical consecutions in intransitive temporal linear logic of finite intervals. Zbl 1091.03002
2005
Multiagent temporal logics with multivaluations. Zbl 1469.03047
Rybakov, V. V.
2018
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
Refined common knowledge logics or logics of common information. Zbl 1030.03015
Rybakov, V. V.
2003
Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060
2017
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
Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154
2018
Hereditarily structurally complete modal logics. Zbl 0836.03014
Rybakov, V. V.
1995
Noncompact extensions of the logic S4. Zbl 0406.03039
Rybakov, V. V.
1977
Bases of admissible rules of the modal system Grz and of intuitionistic logic. Zbl 0617.03007
Rybakov, V. V.
1987
Decidability of the admissibility problem in layer-finite logics. Zbl 0576.03012
Rybakov, V. V.
1984
Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004
2013
Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324
Rybakov, V.
2007
Projective formulas and unification in linear temporal logic $$\mathrm{LTL}_{U}$$. Zbl 1342.03017
2014
Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074
2018
Logics with the universal modality and admissible consecutions. Zbl 1186.03048
2007
Unification and passive inference rules for modal logics. Zbl 1040.03014
Rybakov, V. V.; Terziler, M.; Gencer, C.
2000
Equations in free topoboolean algebra. Zbl 0624.03007
Rybakov, V. V.
1986
A modal analog for Glivenko’s theorem and its applications. Zbl 0788.03020
Rybakov, V. V.
1992
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050
2013
Writing out unifiers in linear temporal logic. Zbl 1259.03029
2012
An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Zbl 1134.03011
2007
Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. Zbl 1142.03323
2008
Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126
2019
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016
1994
An explicit basis for rules admissible in modal system S4. Zbl 0961.03021
1999
Elementary theories of free topo-Boolean and pseudo-Boolean algebras. Zbl 0593.03041
Rybakov, V. V.
1985
Rules admissible in transitive temporal logic $$\mathrm{T}_{\mathrm{S}4}$$, sufficient condition. Zbl 1209.03011
2010
Independent bases for rules admissible in pretabular logics. Zbl 0956.03024
Rybakov, V.; Kiyatkin, V.; Terziler, M.
1999
Combining time and knowledge, semantic approach. Zbl 1117.03021
Calardo, E.; Rybakov, V.
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.03011
Rybakov, V.
2008
Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 1474.68340
2016
Projective formulas and unification in linear discrete temporal multi-agent logics. Zbl 1390.03019
2016
2015
Admissible rules for pretable modal logics. Zbl 0496.03008
Rybakov, V. V.
1982
Bases of quasiidentities of finite modal algebras. Zbl 0507.08005
Rybakov, V. V.
1982
Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017
1993
Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014
1995
Hereditarily finitely axiomatizable extensions of logic S4. Zbl 0358.02022
Rybakov, V. V.
1977
Noncompact extensions of the logic S4. Zbl 0413.03013
Rybakov, V. V.
1978
Modale Logiken mit LM-Axiomen. Zbl 0417.03007
Rybakov, V. V.
1978
Quasi-characteristic inference rules for modal logics. Zbl 0887.03014
1997
Unification in common knowledge logics. Zbl 1036.03012
Rybakov, V. V.
2002
Best unifiers in transitive modal logics. Zbl 1247.03029
2011
Problems of admissibility and substitution, logical equations and restricted theories of free algebras. Zbl 0691.03012
Rybakov, V. V.
1989
Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063
Rybakov, V.
2008
Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016
2008
Description of modal logics inheriting admissible rules for S4. Zbl 0942.03031
Rybakov, V. V.; Gencer, C.; Oner, T.
1999
Independent bases for rules admissible in pretable logics. Zbl 0953.03032
Rybakov, V. V.; Kiyatkin, V. R.; Terziller, M.
2000
The structure of rigid frames of restricted depth 2. Zbl 0965.03025
Rybakov, V. V.; Oner, T.
1998
Elementary theories of free algebras for varieties corresponding to non-classical logics. Zbl 0853.03012
1996
A decidable noncompact extension of the logic S4. Zbl 0415.03012
Rybakov, V. V.
1979
Modal logics with LM-axioms. Zbl 0427.03013
Rybakov, V. V.
1979
Tabular logics with no finite bases for inference rules. Zbl 1073.03012
Rybakov, V.
2004
Logic of visibility, perception, and knowledge and admissible inference rules. Zbl 1083.03021
Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V.
2005
Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515
1995
Preservation of admissibility of inference rules in the logics similar to S4. 2. Zbl 1010.03011
Rybakov, V. V.; Rimatskij, V. V.
2002
Equations in a free topoboolean algebra and the substitution problem. Zbl 0607.06008
Rybakov, V. V.
1986
Solvability of logical equations in the modal system Grz and intuitionistic logic. Zbl 0742.03005
Rybakov, V. V.
1991
The universal theory of the free pseudoboolean algebra $$F_ \omega{}(H)$$ in the signature extended by constants for free generators. Zbl 0767.03007
Rybakov, V. V.
1992
A criterion for admissibility of rules of inference in modal and intuitionistic logic. Zbl 0596.03025
Rybakov, V. V.
1985
A note on globally admissible inference rules for modal and superintuitionistic logics. Zbl 1117.03024
Rimatksi, V. V.; Rybakov, V. V.
2005
Non-unifiability in linear temporal logic of knowledge with multi-agent relations. Zbl 1390.03020
2016
Semantic criteria for admissible inference rules in the logics S4 and Int. Zbl 0729.03013
Rybakov, V. V.
1991
Solvability of logical equations in the modal system Grz and in intuitionistic logic. Zbl 0729.03014
Rybakov, V. V.
1991
Unification problem in Nelson’s logic $$\mathbf{N4}$$. Zbl 1354.03032
Odintsov, S. P.; Rybakov, V. V.
2014
Completeness of modal logics with prefinite width. Zbl 0504.03008
Rybakov, V. V.
1983
On self-admissible quasi-characterizing inference rules. Zbl 0969.03032
Rybakov, V. V.; Terziler, M.; Gencer, C.
2000
Residual finiteness for admissible inference rules. Zbl 0989.03015
Rybakov, V. V.; Kiyatkin, V. R.; Oner, T.
2001
Many-valued multi-modal logics, satisfiability problem. Zbl 1436.03138
2018
Temporal logic with accessibility temporal relations generated by time states themselves. Zbl 1437.03081
2020
Multi-agent logics with multi-valuations and intensional logical operations. Zbl 1486.03054
Rybakov, V. V.
2020
Temporal logic with accessibility temporal relations generated by time states themselves. Zbl 1437.03081
2020
Multi-agent logics with multi-valuations and intensional logical operations. Zbl 1486.03054
Rybakov, V. V.
2020
Branching time agents logics, satisfiability problem by rules in reduced form. Zbl 1436.03126
2019
Multiagent temporal logics with multivaluations. Zbl 1469.03047
Rybakov, V. V.
2018
Temporal multi-valued logic with lost worlds in the past. Zbl 1436.03154
2018
Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. Zbl 1429.03074
2018
Many-valued multi-modal logics, satisfiability problem. Zbl 1436.03138
2018
Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. Zbl 1420.03060
2017
Non-transitive linear temporal logic and logical knowledge operations. Zbl 1403.03028
2016
Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Zbl 1474.68340
2016
Projective formulas and unification in linear discrete temporal multi-agent logics. Zbl 1390.03019
2016
Non-unifiability in linear temporal logic of knowledge with multi-agent relations. Zbl 1390.03020
2016
2015
Projective formulas and unification in linear temporal logic $$\mathrm{LTL}_{U}$$. Zbl 1342.03017
2014
Unification problem in Nelson’s logic $$\mathbf{N4}$$. Zbl 1354.03032
Odintsov, S. P.; Rybakov, V. V.
2014
Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic $$\mathbf{IPC}^+$$. Zbl 1323.03029
2013
Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004
2013
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050
2013
Writing out unifiers in linear temporal logic. Zbl 1259.03029
2012
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
2011
Unification in linear temporal logic LTL. Zbl 1241.03014
2011
Best unifiers in transitive modal logics. Zbl 1247.03029
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
2010
Linear temporal logic $${\mathcal{LTL}}_K$$ extended by multi-agent logic $$\text{K}_n$$ with interacting agents. Zbl 1208.03023
2009
Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. Zbl 1179.68151
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
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
Discrete linear temporal logic with current time point clusters, deciding algorithms. Zbl 1298.03063
Rybakov, V.
2008
Temporal logic with interacting agents. Decidability: theorems and admissible rules. Zbl 1181.03016
2008
Until-since temporal logic based on parallel time with common past. Deciding algorithms. Zbl 1132.03324
Rybakov, V.
2007
Logics with the universal modality and admissible consecutions. Zbl 1186.03048
2007
An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Zbl 1134.03011
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
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
A note on globally admissible inference rules for modal and superintuitionistic logics. Zbl 1117.03024
Rimatksi, V. V.; Rybakov, V. V.
2005
Tabular logics with no finite bases for inference rules. Zbl 1073.03012
Rybakov, V.
2004
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
Preservation of admissibility of inference rules in the logics similar to S4. 2. Zbl 1010.03011
Rybakov, V. V.; Rimatskij, V. V.
2002
Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027
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
Independent bases for rules admissible in pretable logics. Zbl 0953.03032
Rybakov, V. V.; Kiyatkin, V. R.; Terziller, M.
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
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
1999
Independent bases for rules admissible in pretabular logics. Zbl 0956.03024
Rybakov, V.; Kiyatkin, V.; Terziler, M.
1999
Description of modal logics inheriting admissible rules for S4. Zbl 0942.03031
Rybakov, V. V.; Gencer, C.; Oner, T.
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
1997
Elementary theories of free algebras for varieties corresponding to non-classical logics. Zbl 0853.03012
1996
Hereditarily structurally complete modal logics. Zbl 0836.03014
Rybakov, V. V.
1995
Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014
1995
Modal logics preserving admissible for S4 inference rules. Zbl 1044.03515
1995
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Zbl 0807.03016
1994
Intermediate logics preserving admissible inference rules of Heyting calculus. Zbl 0807.03017
1993
Rules of inference with parameters for intuitionistic logic. Zbl 0788.03007
1992
A modal analog for Glivenko’s theorem and its applications. Zbl 0788.03020
Rybakov, V. V.
1992
The universal theory of the free pseudoboolean algebra $$F_ \omega{}(H)$$ in the signature extended by constants for free generators. Zbl 0767.03007
Rybakov, V. V.
1992
Solvability of logical equations in the modal system Grz and intuitionistic logic. Zbl 0742.03005
Rybakov, V. V.
1991
Semantic criteria for admissible inference rules in the logics S4 and Int. Zbl 0729.03013
Rybakov, V. V.
1991
Solvability of logical equations in the modal system Grz and in intuitionistic logic. Zbl 0729.03014
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
Completeness of modal logics with prefinite width. Zbl 0504.03008
Rybakov, V. V.
1983
Admissible rules for pretable modal logics. Zbl 0496.03008
Rybakov, V. V.
1982
Bases of quasiidentities of finite modal algebras. Zbl 0507.08005
Rybakov, V. V.
1982
Admissible rules of pretabular modal logics. Zbl 0489.03005
Rybakov, V. V.
1981
A decidable noncompact extension of the logic S4. Zbl 0415.03012
Rybakov, V. V.
1979
Modal logics with LM-axioms. Zbl 0427.03013
Rybakov, V. V.
1979
Noncompact extensions of the logic S4. Zbl 0413.03013
Rybakov, V. V.
1978
Modale Logiken mit LM-Axiomen. Zbl 0417.03007
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