×

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.
Further Spellings: Чагров Александр Васильевич
External Links: MGP · Math-Net.Ru
Documents Indexed: 45 Publications since 1982, including 1 Book
Reviewing Activity: 13 Reviews
Co-Authors: 6 Co-Authors with 18 Joint Publications
93 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 412 times in 349 Documents Cited by Year
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
264
1997
Advanced modal logic. 2nd ed. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
26
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
How many variables does one need to prove PSPACE-hardness of modal logics? Zbl 1076.03012
Chagrov, A. V.; Rybakov, M. N.
11
2003
The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009
Chagrov, Alexander; Zakharyaschev, Michael
11
1993
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
Algorithmic aspects of propositional tense logics. Zbl 1044.03513
Chagrov, Alexander V.; Shehtman, Valentin B.
3
1995
On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017
Chagrov, Alexander; Zakharyaschev, Michael
3
1995
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, M. V.
3
1990
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
Continuality of the set of maximal superintuitionistic logics with the disjunction property. Zbl 0795.03030
Chagrov, A. V.
1
1992
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.
11
2003
Advanced modal logic. 2nd ed. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
26
2001
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
264
1997
Algorithmic aspects of propositional tense logics. Zbl 1044.03513
Chagrov, Alexander V.; Shehtman, Valentin B.
3
1995
On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017
Chagrov, Alexander; Zakharyaschev, Michael
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 314 Authors

25 Bezhanishvili, Guram
21 Bezhanishvili, Nick
13 Zakharyaschev, Michael Viktorovich
11 Maksimova, Larisa L’vovna
10 Wolter, Frank
9 Citkin, Alex
9 Lucero-Bryan, Joel Gregory
8 Goldblatt, Robert Ian
7 Fiorentini, Camillo
7 Iemhoff, Rosalie
7 Kurucz, Agi
7 Yashin, Aleksandr D.
6 Beklemishev, Lev D.
6 Chagrov, Aleksandr Vasil’evich
6 Ferrari, Mauro
6 Fiorino, Guido
6 Gabelaia, David
6 Jeřábek, Emil
5 Balbiani, Philippe
5 Conradie, Willem
5 Goudsmit, Jeroen P.
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 Ghilardi, Silvio
4 Holliday, Wesley H.
4 Humberstone, Lloyd
4 Löwe, Benedikt
4 Marcelino, Sérgio
4 Moraschini, Tommaso
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 Guzmán, Michell
3 Gyenis, Zalán
3 Hampson, Christopher
3 Joosten, Joost J.
3 Kowalski, Tomasz
3 Litak, Tadeusz
3 Metcalfe, George
3 Miglioli, Pierangelo
3 Morandi, Patrick J.
3 Negri, Sara
3 Ono, Hiroakira
3 Rueda, Camilo
3 Sano, Katsuhiko
3 Shapirovsky, Ilya B.
3 Shkatov, Dmitry
3 Stronkowski, Michał Marek
3 Tanaka, Yoshihito
3 Tinchev, Tinko
3 Valencia, Frank D.
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 Carai, Luca
2 Ciardelli, Ivano A.
2 d’Avila Garcez, Artur S.
2 Dyckhoff, Roy
2 Dzik, Wojciech
2 Fernández Duque, David
2 Galmiche, Didier
2 Gehrke, Mai
2 Gencer, Çigdem
2 Grigolia, Revaz
2 Hamkins, Joel David
2 Harding, John
2 Hartonas, Chrysafis
2 Ilin, Julia
2 Koshcheeva, Anna Konstantinovna
2 Kost, Sławomir
2 Kutz, Oliver
2 Kuyper, Rutger
2 Kuznets, Roman
2 Lamb, Luís C.
2 Lomuscio, Alessio
2 Marra, Vincenzo
2 Mundici, Daniele
2 Muravitsky, Alexei Yu.
2 Osorio, Mauricio A.
2 Özgün, Aybüke
2 Pakhomov, Fedor N.
2 Perchy, Salim
2 Petrukhin, Yaroslav Igorevich
2 Pietruszczak, Andrzej
2 Rybakov, Mikhail Nikolaevich
2 Rybakov, Vladimir Vladimirovich
2 Salhi, Yakoub
2 Sourabh, Sumit
...and 214 more Authors
all top 5

Cited in 57 Serials

45 Studia Logica
35 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
7 Theoretical Computer Science
6 The Bulletin of Symbolic Logic
6 Logica Universalis
5 Journal of Logic, Language and Information
4 Algebra Universalis
4 Bulletin of the Section of Logic
4 Journal of Automated Reasoning
4 Journal of Logical and Algebraic Methods in Programming
3 Mathematical Notes
3 Order
3 Annals of Mathematics and Artificial Intelligence
3 Logical Methods in Computer Science
2 Artificial Intelligence
2 Problems of Information Transmission
2 Advances in Mathematics
2 Fuzzy Sets and Systems
2 Information Sciences
2 Transactions of the American Mathematical Society
2 Information and Computation
2 Indagationes Mathematicae. New Series
2 Soft Computing
2 Erkenntnis
2 Logic and Logical Philosophy
2 ACM Transactions on Computational Logic
2 Frontiers of Computer Science
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 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