Edit Profile (opens in new tab) Chagrov, Aleksandr Vasil’evich Compute Distance To: Compute Author ID: chagrov.aleksandr-vasilevich Published as: Chagrov, A. V.; Chagrov, Alexander; Chagrov, Alexander Vasil’evich; Chagrov, Alexander V.; Chagrov, Aleksander; Chagrov, A. more...less 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 all top 5 Co-Authors 26 single-authored 8 Zakharyaschev, Michael Viktorovich 5 Chagrova, L. A. 3 Rybakov, Mikhail Nikolaevich 1 Chagrova, A. A. 1 Shehtman, Valentin B. 1 Wolter, Frank all top 5 Serials 4 Algebra and Logic 3 Studia Logica 3 Bulletin of the Section of Logic 2 Logicheskie Issledovaniya 1 Mathematical Notes 1 The Journal of Symbolic Logic 1 Journal of Logic and Computation 1 Matematicheskie Voprosy Kibernetiki 1 Bulletin of the Section of Logic 1 Oxford Logic Guides Fields 43 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 General algebraic systems (08-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 23 Publications have been cited 412 times in 349 Documents Cited by ▼ Year ▼ Modal logic. Zbl 0871.03007Chagrov, Alexander; Zakharyaschev, Michael 264 1997 Advanced modal logic. 2nd ed. Zbl 1003.03516Zakharyaschev, M.; Wolter, F.; Chagrov, A. 26 2001 Modal companions of intermediate propositional logics. Zbl 0766.03015Chagrov, Aleksander; Zakharyashchev, Mikhail 19 1992 The disjunction property of intermediate propositional logics. Zbl 0739.03016Chagrov, Alexander; Zakharyashchev, Michael 16 1991 How many variables does one need to prove PSPACE-hardness of modal logics? Zbl 1076.03012Chagrov, A. V.; Rybakov, M. N. 11 2003 The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009Chagrov, Alexander; Zakharyaschev, Michael 11 1993 The truth about algorithmic problems in correspondence theory. Zbl 1148.03012Chagrov, Alexander; Chagrova, Lilia 9 2006 Varieties of logical matrices. Zbl 0617.03013Chagrov, A. V. 7 1985 Undecidable properties of extensions of the logic of provability. Zbl 0723.03005Chagrov, A. V. 7 1990 Undecidable properties of superintuitionistic logics. Zbl 0840.03018Chagrov, A. V. 6 1994 Undecidable properties of extensions of provability logic. II. Zbl 0729.03009Chagrov, A. V. 6 1990 On complexity of propositional logics. Zbl 0615.03023Chagrov, A. V. 5 1985 Decidable modal logic with undecidable admissibility problem. Zbl 0782.03005Chagrov, A. V. 5 1992 Nontabularity - pretabularity, antitabularity, coantitabularity. Zbl 0726.03010Chagrov, A. V. 4 1989 Algorithmic aspects of propositional tense logics. Zbl 1044.03513Chagrov, Alexander V.; Shehtman, Valentin B. 3 1995 On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017Chagrov, Alexander; Zakharyaschev, Michael 3 1995 On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012Chagrov, A. V.; Zakharyashchev, M. V. 3 1990 Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004Chagrov, Alexander; Zakharyaschev, Michael 2 1995 Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. Zbl 0844.03007Chagrov, A. V.; Chagrova, L. A. 1 1995 A note on expressive power of iteration. Zbl 0855.03007Chagrov, Alexander 1 1995 Continuality of the set of maximal superintuitionistic logics with the disjunction property. Zbl 0795.03030Chagrov, A. V. 1 1992 Modal propositional truth logic Tr and its completeness. Zbl 1392.03028Karpenko, A. S.; Chagrov, A. V. 1 2016 Demise of the algorithmic agenda in correspondence theory? Zbl 1133.03320Chagrov, A. V.; Chagrova, L. A. 1 2006 Modal propositional truth logic Tr and its completeness. Zbl 1392.03028Karpenko, A. S.; Chagrov, A. V. 1 2016 The truth about algorithmic problems in correspondence theory. Zbl 1148.03012Chagrov, Alexander; Chagrova, Lilia 9 2006 Demise of the algorithmic agenda in correspondence theory? Zbl 1133.03320Chagrov, A. V.; Chagrova, L. A. 1 2006 How many variables does one need to prove PSPACE-hardness of modal logics? Zbl 1076.03012Chagrov, A. V.; Rybakov, M. N. 11 2003 Advanced modal logic. 2nd ed. Zbl 1003.03516Zakharyaschev, M.; Wolter, F.; Chagrov, A. 26 2001 Modal logic. Zbl 0871.03007Chagrov, Alexander; Zakharyaschev, Michael 264 1997 Algorithmic aspects of propositional tense logics. Zbl 1044.03513Chagrov, Alexander V.; Shehtman, Valentin B. 3 1995 On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017Chagrov, Alexander; Zakharyaschev, Michael 3 1995 Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004Chagrov, Alexander; Zakharyaschev, Michael 2 1995 Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. Zbl 0844.03007Chagrov, A. V.; Chagrova, L. A. 1 1995 A note on expressive power of iteration. Zbl 0855.03007Chagrov, Alexander 1 1995 Undecidable properties of superintuitionistic logics. Zbl 0840.03018Chagrov, A. V. 6 1994 The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009Chagrov, Alexander; Zakharyaschev, Michael 11 1993 Modal companions of intermediate propositional logics. Zbl 0766.03015Chagrov, Aleksander; Zakharyashchev, Mikhail 19 1992 Decidable modal logic with undecidable admissibility problem. Zbl 0782.03005Chagrov, A. V. 5 1992 Continuality of the set of maximal superintuitionistic logics with the disjunction property. Zbl 0795.03030Chagrov, A. V. 1 1992 The disjunction property of intermediate propositional logics. Zbl 0739.03016Chagrov, Alexander; Zakharyashchev, Michael 16 1991 Undecidable properties of extensions of the logic of provability. Zbl 0723.03005Chagrov, A. V. 7 1990 Undecidable properties of extensions of provability logic. II. Zbl 0729.03009Chagrov, A. V. 6 1990 On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012Chagrov, A. V.; Zakharyashchev, M. V. 3 1990 Nontabularity - pretabularity, antitabularity, coantitabularity. Zbl 0726.03010Chagrov, A. V. 4 1989 Varieties of logical matrices. Zbl 0617.03013Chagrov, A. V. 7 1985 On complexity of propositional logics. Zbl 0615.03023Chagrov, A. V. 5 1985 all cited Publications top 5 cited Publications 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 all top 5 Cited in 21 Fields 340 Mathematical logic and foundations (03-XX) 58 Computer science (68-XX) 47 Order, lattices, ordered algebraic structures (06-XX) 25 General topology (54-XX) 10 General algebraic systems (08-XX) 3 History and biography (01-XX) 3 Geometry (51-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Biology and other natural sciences (92-XX) Citations by Year