×

zbMATH — the first resource for mathematics

Chagrov, Aleksandr Vasil’evich

Compute Distance To:
Author ID: chagrov.aleksandr-vasilevich Recent zbMATH articles by "Chagrov, Aleksandr Vasil’evich"
Published as: Chagrov, A. V.; Chagrov, Alexander; Chagrov, Alexander Vasil’evich; Chagrov, Alexander V.; Chagrov, Aleksander; Chagrov, A.
External Links: MGP · Math-Net.Ru
Documents Indexed: 45 Publications since 1982, including 1 Book
Reviewing Activity: 13 Reviews

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 392 times in 329 Documents Cited by Year
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
246
1997
Advanced modal logic. 2nd ed. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
25
2001
Modal companions of intermediate propositional logics. Zbl 0766.03015
Chagrov, Aleksander; Zakharyashchev, Mikhail
19
1992
The disjunction property of intermediate propositional logics. Zbl 0739.03016
Chagrov, Alexander; Zakharyashchev, Michael
16
1991
The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009
Chagrov, Alexander; Zakharyaschev, Michael
11
1993
How many variables does one need to prove PSPACE-hardness of modal logics? Zbl 1076.03012
Chagrov, A. V.; Rybakov, M. N.
10
2003
The truth about algorithmic problems in correspondence theory. Zbl 1148.03012
Chagrov, Alexander; Chagrova, Lilia
9
2006
Varieties of logical matrices. Zbl 0617.03013
Chagrov, A. V.
7
1985
Undecidable properties of extensions of the logic of provability. Zbl 0723.03005
Chagrov, A. V.
7
1990
Undecidable properties of superintuitionistic logics. Zbl 0840.03018
Chagrov, A. V.
6
1994
Undecidable properties of extensions of provability logic. II. Zbl 0729.03009
Chagrov, A. V.
6
1990
On complexity of propositional logics. Zbl 0615.03023
Chagrov, A. V.
5
1985
Decidable modal logic with undecidable admissibility problem. Zbl 0782.03005
Chagrov, A. V.
5
1992
Nontabularity - pretabularity, antitabularity, coantitabularity. Zbl 0726.03010
Chagrov, A. V.
4
1989
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, M. V.
3
1990
On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017
Chagrov, Alexander; Zakharyaschev, Michael
3
1995
Algorithmic aspects of propositional tense logics. Zbl 1044.03513
Chagrov, Alexander V.; Shehtman, Valentin B.
3
1995
Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004
Chagrov, Alexander; Zakharyaschev, Michael
2
1995
Continuality of the set of maximal superintuitionistic logics with the disjunction property. Zbl 0795.03030
Chagrov, A. V.
1
1992
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. Zbl 0844.03007
Chagrov, A. V.; Chagrova, L. A.
1
1995
A note on expressive power of iteration. Zbl 0855.03007
Chagrov, Alexander
1
1995
Modal propositional truth logic Tr and its completeness. Zbl 1392.03028
Karpenko, A. S.; Chagrov, A. V.
1
2016
Demise of the algorithmic agenda in correspondence theory? Zbl 1133.03320
Chagrov, A. V.; Chagrova, L. A.
1
2006
Modal propositional truth logic Tr and its completeness. Zbl 1392.03028
Karpenko, A. S.; Chagrov, A. V.
1
2016
The truth about algorithmic problems in correspondence theory. Zbl 1148.03012
Chagrov, Alexander; Chagrova, Lilia
9
2006
Demise of the algorithmic agenda in correspondence theory? Zbl 1133.03320
Chagrov, A. V.; Chagrova, L. A.
1
2006
How many variables does one need to prove PSPACE-hardness of modal logics? Zbl 1076.03012
Chagrov, A. V.; Rybakov, M. N.
10
2003
Advanced modal logic. 2nd ed. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
25
2001
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
246
1997
On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017
Chagrov, Alexander; Zakharyaschev, Michael
3
1995
Algorithmic aspects of propositional tense logics. Zbl 1044.03513
Chagrov, Alexander V.; Shehtman, Valentin B.
3
1995
Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004
Chagrov, Alexander; Zakharyaschev, Michael
2
1995
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. Zbl 0844.03007
Chagrov, A. V.; Chagrova, L. A.
1
1995
A note on expressive power of iteration. Zbl 0855.03007
Chagrov, Alexander
1
1995
Undecidable properties of superintuitionistic logics. Zbl 0840.03018
Chagrov, A. V.
6
1994
The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009
Chagrov, Alexander; Zakharyaschev, Michael
11
1993
Modal companions of intermediate propositional logics. Zbl 0766.03015
Chagrov, Aleksander; Zakharyashchev, Mikhail
19
1992
Decidable modal logic with undecidable admissibility problem. Zbl 0782.03005
Chagrov, A. V.
5
1992
Continuality of the set of maximal superintuitionistic logics with the disjunction property. Zbl 0795.03030
Chagrov, A. V.
1
1992
The disjunction property of intermediate propositional logics. Zbl 0739.03016
Chagrov, Alexander; Zakharyashchev, Michael
16
1991
Undecidable properties of extensions of the logic of provability. Zbl 0723.03005
Chagrov, A. V.
7
1990
Undecidable properties of extensions of provability logic. II. Zbl 0729.03009
Chagrov, A. V.
6
1990
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, M. V.
3
1990
Nontabularity - pretabularity, antitabularity, coantitabularity. Zbl 0726.03010
Chagrov, A. V.
4
1989
Varieties of logical matrices. Zbl 0617.03013
Chagrov, A. V.
7
1985
On complexity of propositional logics. Zbl 0615.03023
Chagrov, A. V.
5
1985
all top 5

Cited by 301 Authors

23 Bezhanishvili, Guram
20 Bezhanishvili, Nick
13 Zakharyaschev, Michael Viktorovich
11 Maksimova, Larisa L’vovna
10 Wolter, Frank
9 Citkin, Alex
9 Lucero-Bryan, Joel Gregory
8 Kurucz, Agi
7 Iemhoff, Rosalie
7 Yashin, Aleksandr D.
6 Chagrov, Aleksandr Vasil’evich
6 Ferrari, Mauro
6 Fiorentini, Camillo
6 Fiorino, Guido
6 Gabelaia, David
6 Goldblatt, Robert Ian
6 Jeřábek, Emil
5 Beklemishev, Lev D.
5 Conradie, Willem J.
5 Hodkinson, Ian Martin
5 Karpenko, Anastasia Valer’evna
5 Kikot, Stanislav
5 Palmigiano, Alessandra
5 Venema, Yde
5 Yun, Veta Fëdorovna
4 Badia, Guillermo
4 Balbiani, Philippe
4 Ghilardi, Silvio
4 Goudsmit, Jeroen P.
4 Holliday, Wesley H.
4 Humberstone, Lloyd
4 Löwe, Benedikt
4 Marcelino, Sérgio
4 Rivieccio, Umberto
4 Schmidt, Renate A.
4 van Mill, Jan
4 Yu, Junhua
3 Celani, Sergio Arturo
3 Esakia, Leo
3 Gabbay, Dov M.
3 Gyenis, Zalán
3 Hampson, Christopher
3 Joosten, Joost J.
3 Kowalski, Tomasz Marek
3 Litak, Tadeusz
3 Metcalfe, George
3 Miglioli, Pierangelo
3 Moraschini, Tommaso
3 Negri, Sara
3 Ono, Hiroakira
3 Shapirovsky, Ilya B.
3 Tanaka, Yoshihito
3 Zolin, Evgeniĭ Evgen’evich
2 Achilleos, Antonis
2 Arrazola Ramírez, José Ramón Enrique
2 Artemov, Sergei
2 Avellone, Alessandro
2 Belardinelli, Francesco
2 Ciardelli, Ivano A.
2 d’Avila Garcez, Artur S.
2 Dyckhoff, Roy
2 Fernández Duque, David
2 Galmiche, Didier
2 Gehrke, Mai
2 Gencer, Çigdem
2 Grigolia, Revaz
2 Guzmán, Michell
2 Hamkins, Joel David
2 Harding, John
2 Hartonas, Chrysafis
2 Ilin, Julia
2 Koshcheeva, Anna Konstantinovna
2 Kutz, Oliver
2 Kuyper, Rutger
2 Kuznets, Roman
2 Lamb, Luís C.
2 Lomuscio, Alessio
2 Marra, Vincenzo
2 Morandi, Patrick J.
2 Mundici, Daniele
2 Muravitsky, Alexei Yu.
2 Osorio, Mauricio A.
2 Özgün, Aybüke
2 Perchy, Salim
2 Petrukhin, Yaroslav Igorevich
2 Pietruszczak, Andrzej
2 Rueda, Camilo
2 Rybakov, Vladimir Vladimirovich
2 Salhi, Yakoub
2 Sano, Katsuhiko
2 Shkatov, Dmitry
2 Sourabh, Sumit
2 Stronkowski, Michał Marek
2 Sudoplatov, Sergeĭ Vladimirovich
2 ten Cate, Balder David
2 Tinchev, Tinko
2 Tishkovsky, Dmitry
2 Uridia, Levan
2 Vakarelov, Dimiter
2 Valencia, Frank D.
...and 201 more Authors
all top 5

Cited in 56 Serials

41 Studia Logica
32 Annals of Pure and Applied Logic
21 The Journal of Symbolic Logic
17 Algebra and Logic
17 Notre Dame Journal of Formal Logic
16 The Review of Symbolic Logic
15 Journal of Philosophical Logic
14 Archive for Mathematical Logic
11 Journal of Applied Non-Classical Logics
9 Siberian Mathematical Journal
9 Journal of Applied Logic
6 Theoretical Computer Science
6 Logica Universalis
5 Journal of Logic, Language and Information
5 The Bulletin of Symbolic Logic
4 Algebra Universalis
4 Bulletin of the Section of Logic
4 Journal of Automated Reasoning
3 Mathematical Notes
3 Order
3 Logical Methods in Computer Science
2 Artificial Intelligence
2 Problems of Information Transmission
2 Fuzzy Sets and Systems
2 Information Sciences
2 Transactions of the American Mathematical Society
2 Indagationes Mathematicae. New Series
2 Annals of Mathematics and Artificial Intelligence
2 Soft Computing
2 Erkenntnis
2 Logic and Logical Philosophy
2 ACM Transactions on Computational Logic
2 Frontiers of Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 Information Processing Letters
1 Israel Journal of Mathematics
1 Russian Mathematical Surveys
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Mathematical Economics
1 Programming and Computer Software
1 Revista de la Unión Matemática Argentina
1 Synthese
1 History and Philosophy of Logic
1 Algorithmica
1 Information and Computation
1 International Journal of Approximate Reasoning
1 SIAM Journal on Discrete Mathematics
1 International Journal of Algebra and Computation
1 MSCS. Mathematical Structures in Computer Science
1 Applied Categorical Structures
1 Doklady Mathematics
1 Theory of Computing Systems
1 The Journal of Logic and Algebraic Programming
1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
1 Axioms
1 Journal of Siberian Federal University. Mathematics & Physics

Citations by Year