×

Rybakov, Vladimir Vladimirovich

Compute Distance To:
Author ID: rybakov.vladimir-vladimirovich Recent zbMATH articles by "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

Publications by Year

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

Citations by Year