ИСТИНА

Чагров Александр Васильевич

Соавторы: Захарьящев М.В., Чагрова Л.А., Рыбаков М.Н., Чагрова А.А., 43 Стрижова Н.В., Wolter F., Беглова Е.А., Карпенко А.С., Кучерявый С.И., Лысенко О.А., Мельниченко Г.А., Табакман Ю.Ю., Фадеев В.В. показать полностью..., Циткин А.И., Чеботникова Т.В., Шехтман В.Б.

64 статьи, 1 книга, 1 доклад на конференции, 41 тезисы докладов, 1 НИР, 4 диссертации

Количество цитирований статей в журналах по данным Web of Science: 22, Scopus: 109

IstinaResearcherID (IRID): 8102612

Деятельность

• Статьи в журналах

  • 
    • 2016 Модальная пропозициональная логика истины Tr и ее полнота
    • Карпенко А.С., Чагров А.В.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 22, № 1, с. 13-31
  • 
    • 2015 Финитная аппроксимируемость нормальных модальных логик и константные формулы: пример
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 21, № 1, с. 79-85
  • 
    • 2006 Алгоритмическая проблема финитарного семантического следования пропозициональных формул I: контекст и постановка задачи
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 13, с. 191-223
  • 
    • 2006 Крах алгоритмической проблематики теории соответствия?
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 13, с. 248-272
  • 
    • 2005 Несколько замечаний о естественных минимальных логиках: базисная и формальная логики А.Виссера и их модальные напарники
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 12
  • 
    • 2004 Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А.Виссера
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 11, с. 282-289
  • 
    • 2003 Формальная пропозициональная логика А.Виссера и ее расширения
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 10, с. 225-232
  • 
    • 2002 Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 9, с. 251-263
  • 
    • 2002 Константные формулы в модальных логиках: проблема разрешения
    • Рыбаков Михаил Николаевич, Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 9, с. 202-220
  • • 2002 Функциональное состояние щитовидной железы у больных с патологией эндометрия в пременопаузе
    • 43 Стрижова Н.В., Мельниченко Г.А., Чеботникова Т.В., Лысенко О.Н., Фадеев В.В., Островцев И.В., Табакман Ю.Ю., Чабров А.М., Щеглова Е.А.
    • в журнале Акушерство и гинекология, издательство Бионика Медиа (М.), № 5, с. 24-28
  • 
    • 2001 All tabular generally Post-complete extensions of K4 have interpolation property
    • Chagrov Alexander
    • в журнале Information Processes (Информационные процессы), том 1, № 1, с. 50-55
  • 
    • 2001 К вопросу об обратной математике модальной логики
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 8, с. 224-243
  • 
    • 2000 Два замечания о строго импликативных формулах в модальной логике S3
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 7, с. 84-89
  • 
    • 2000 Об эффективных теоремах о дедукции в нормальных модальных логиках
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 7, с. 209-216
  • • 1999 Строго импликативные формулы в модальных логиках, близких к интуиционистской
    • Чагров Александр Васильевич
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 6, с. 69-75
  • 
    • 1998 Бесконечные множества несводимых модальностей в нормальных модальных логиках
    • Чагров А.В., Чагрова А.А.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 5, с. 150-159
  • 
    • 1995 A note on expressive power of iteration
    • Chagrov Alexander
    • в журнале Bulletin of the section of logic, том 24, № 4, с. 234-235
  • 
    • 1995 Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames
    • Chagrov Alexander, Chagrova Lilia
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 55, № 3, с. 421-448 DOI
  • 
    • 1995 On the independent axiomatizability of modal and intermediate logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 5, № 3, с. 287-302 DOI
  • 
    • 1995 The undecidability of the tabularity problem for modal logic
    • Chagrov Alexander
    • в журнале Bulletin of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 1, № 2, с. 228 DOI
  • 
    • 1994 Some remarks about generalized post-completeness of extensions of K4
    • Chagrov Alexander
    • в журнале Bulletin of the section of logic, том 23, № 1, с. 27-29
  • 
    • 1993 Four intervals of irreducible logics
    • Chagrov Alexander
    • в журнале Bulletin of the section of logic, том 22, № 4, с. 167-168
  • 
    • 1993 The Sahlqvist formulas are not so elementary
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 58, № 3, с. 1137-1138 DOI
  • 
    • 1993 The undecidability of the disjunction property of propositional logics and other related problems
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 58, № 3, с. 967-1002 DOI
  • 
    • 1992 Continuality of the set of maximal superintuitionistic logics with the disjunction property
    • Chagrov Alexander
    • в журнале Mathematical Notes, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 51, № 2, с. 188-193 DOI
  • 
    • 1992 Decidable modal logic with undecidable admissibility problem
    • Chagrov Alexander
    • в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 31, № 1, с. 53-61 DOI
  • 
    • 1992 Modal companions of intermediate propositional logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 51, № 1, с. 49-82 DOI
  • 
    • 1992 Континуальность множества максимальных суперинтуиционистских логик со свойством дизъюнктивности
    • Чагров Александр Васильевич
    • в журнале Математические заметки, издательство МИАН (Москва), том 51, № 2, с. 117-123
  • 
    • 1992 Разрешимая модальная логика с неразрешимой проблемой допустимости правил вывода
    • Чагров Александр Васильевич
    • в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 31, № 1, с. 83-93
  • 
    • 1991 The disjunction property of intermediate propositional logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 50, № 2, с. 189-216 DOI
  • 
    • 1990 On Halldén-completness of intermediate and modal logics
    • Chagov Alexander, Zakharyaschev Michael
    • в журнале Bulletin of the section of logic, том 19, № 1, с. 21-24
  • 
    • 1990 Undecidable properties of extensions of a provability logic. II
    • Chagrov Alexander
    • в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 29, № 5, с. 406-413 DOI
  • 
    • 1990 Undecidable properties of extensions of the logic of provability. I
    • Chagrov Alexander
    • в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 29, № 3, с. 231-243 DOI
  • 
    • 1990 Неразрешимые свойства расширений логики доказуемости, I
    • Чагров Александр Васильевич
    • в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 29, № 3, с. 350-367
  • 
    • 1990 Неразрешимые свойства расширений логики доказуемости, II
    • Чагров Александр Васильевич
    • в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 29, № 5, с. 613-623
  • 
    • 1985 Varieties of logical matrices
    • Chagrov Alexander
    • в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 24, № 4, с. 278-325 DOI
  • 
    • 1985 Многообразия логических матриц
    • Чагров Александр Васильевич
    • в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 24, № 4, с. 426-489

• Статьи в сборниках

  • 
    • 2006 The truth about algorithmic problems in correspondence theory
    • Chagrov Alexander, Chagrova Lilia
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 121-138
  • • 2004 Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А.Виссера
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Труды научно-исследовательского семинара Логического центра Института философии РАН, место издания Изд-во РАН Москва, том 17, с. 94-102
  • 
    • 2003 How many variables does one need to prove PSpace-hardness of modal logics
    • Chagrov Alexander, Rybakov Michael
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания King's College Publications London, том 4, с. 71-82
  • • 2002 О двух видах семантики Крипке для базисной логики А. Виссера
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Труды научно-исследовательского семинара Логического центра Института философии РАН, том 16, с. 112-116
  • 
    • 2001 Advanced Modal Logic
    • Zakharyaschev Michael, Wolter Frank, Chagrov Alexander
    • в сборнике Handbook of Philosophical Logic, 2nd edition, Volume 3, Gabbay D.M., Guenthner F. (eds.), издательство Kluwer Academic Publisher (Dordrecht, Netherlands), с. 83-266
  • • 2001 Доказательство одной теоремы Крипке
    • Чагров Александр Васильевич
    • в сборнике Труды научно-исследовательского семинара Логического центра Института философии РАН, место издания Изд-во РАН Москва, том 15, с. 113-119
  • • 2001 К логическим проблемам семантических аспектов информационного взаимодействия
    • Чагров Александр Васильевич
    • в сборнике Труды 3 Международной конференции "Проблемы управления и моделирования в сложных системах", место издания Самара, с. 611-616
  • • 2000 Логика, не являющаяся ни конечнозначной, ни бесконечнозначной
    • Чагров Александр Васильевич
    • в сборнике Труды научно-исследовательского семинара Логического центра Института философии РАН, место издания Изд-во РАН Москва, том 14, с. 59-67
  • • 2000 Стандартные переводы неклассических формул и относительная разрешимость логик
    • Рыбаков Михаил Николаевич, Чагров Александр Васильевич
    • в сборнике Труды научно-исследовательского семинара Логического центра Института философии РАН, место издания Изд-во РАН Москва, том 14, с. 81-98
  • 
    • 1999 A first-order effect and modal propositional formulas
    • Chagrov Alexander
    • в сборнике Logic and Foundations of Mathematics. Selected Contributed Papers of the 10th International Congress of Logic, Methodology and Philosophy of Science (Florence 1995), серия Synthese Library, место издания Springer Dordrecht, том 280, с. 209-218 DOI
  • • 1996 Sahlqvist formulas are not so elementary even above S4
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Logic Colloquium '92, серия Studies in Logic Language and Information, место издания CSLI Publications, с. 61-73
  • 
    • 1995 Algorithmic aspects of propositional tense logics
    • Chagrov Alexander, Shehtman Valentin
    • в сборнике Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, серия Lecture Notes in Computer Science, место издания Springer, том 933, с. 442-455 DOI
  • 
    • 1994 Неразрешимые свойства суперинтуиционистских логик
    • Чагров Александр Васильевич
    • в сборнике Математические вопросы кибернетики, серия Математические вопросы кибернетики, место издания Физматлит Москва, том 5, с. 62-108
  • • 1994 О рекурсивной аппроксимируемости модальных и суперинтуиционистских логик
    • Чагров Александр Васильевич
    • в сборнике Алгебраические и логические конструкции, место издания Изд-во ТвГУ Тверь, с. 91-97
  • • 1990 Undecidability in propositional logics: calculi, formulas, properties
    • Chagrov Alexander
    • в сборнике Third Logical Biennial, Summer school and conference in honour of S. C. Kleene, June 6-15, 1990, Varna, Bulgaria. Abstracts, место издания Sofia, Bulgaria, с. 14
  • • 1990 Какие же свойства расширений К4 разрешимы?
    • Чагров Александр Васильевич
    • в сборнике Философские основания неклассических логик, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 8, с. 90-94
  • 
    • 1990 О первопорядковой определимости интуиционистских формул в классе шкал высоты не более трех
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Конструкции в алгебре и логике, место издания Тверь, с. 117-119
  • • 1989 Добавление к статье Л.А.Чагровой «О неразрешимости первопорядковой определимости пропозициональных формул»
    • Чагров Александр Васильевич
    • в сборнике Неклассические логики и их применение, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 7, с. 84-85
  • • 1989 Нетабличность — предтабличность, антитабличность, коантитабличность
    • Чагров Александр Васильевич
    • в сборнике Алгебро-логические конструкции, место издания Изд-во КГУ Калинин, с. 105-111
  • • 1989 О границах множества модальных напарников интуиционистской логики
    • Чагров Александр Васильевич
    • в сборнике Неклассические логики и их применение, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 7, с. 74-81
  • • 1987 Два новых вида мультимодальных логик
    • Чагров Александр Васильевич
    • в сборнике Неклассические логики и пропозициональные установки, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 6, с. 48-59
  • • 1987 Две теоремы об эквациональных логиках в сигнатуре из двух унарных символов
    • Чагров Александр Васильевич
    • в сборнике Логико-алгебраические конструкции, место издания Изд-во КГУ Калинин, с. 90-96
  • • 1985 О сложности пропозициональных логик
    • Чагров Александр Васильевич
    • в сборнике Сложностные проблемы математической логики, место издания Изд-во КГУ Калинин, с. 80-90
  • • 1983 О полиномиальной финитной аппроксимируемости модальных и суперинтуиционистских логик
    • Чагров Александр Васильевич
    • в сборнике Математическая логика, математическая лингвистика и теория алгоритмов, место издания Изд-во КГУ Калинин, с. 75-83
  • • 1982 О ненормальных модальных напарниках Int
    • Чагров Александр Васильевич
    • в сборнике Автоматы, алгорифмы, языки, место издания Изд-во КГУ Калинин, с. 133-148
  • • 1982 Числа Куратовского
    • Чагров Александр Васильевич
    • в сборнике Применение функционального анализа в теории приближений, место издания Изд-во КГУ Калинин, с. 186-190
  • • 1981 Суперинтуиционистские фрагменты ненормальных модальных логик
    • Чагров Александр Васильевич
    • в сборнике Математическая логика и математическая лингвистика, место издания Изд-во КГУ Калинин, с. 144-162

• Книги

  • • 1997 Modal Logic (Oxford Logic Guides, vol. 35)
    • Chagrov Alexander, Zakharyaschev Michael
    • место издания Oxford University Press Oxford, ISBN 0-19-853779-4, 605 с.

• Доклады на конференциях

  • • 2005 К вопросу о естественных минимальных логиках: базисная и формальная логики А. Виссера и их модальные напарники (Устный)
    • Автор: Чагров Александр Васильевич
    • IV Российский философский конгресс: философия и будущее цивилизации, Москва, Россия, 24-28 мая 2005

• Тезисы докладов

  • • 2013 Бесконечность, всеведение, теоремы Гёделя о неполноте
    • Чагров Александр Васильевич
    • в сборнике Философия математики: актуальные проблемы. Математика и реальность. Тезисы Третьей всероссийской научной конференции; 27-28 сентября 2013 г, место издания Центр стратегической конъюнктуры Москва, тезисы, с. 206-209
    • редакторы Бажанов В.А., Косилова Елена Владимировна, Кричевец Анатолий Николаевич, Перминов Василий Яковлевич, Шапошников Владислав Алексеевич
  • 
    • 2013 О «модальных» вариантах результатов А. В. Кузнецова 50-летней давности
    • Кучерявый Сергей Иванович, Чагров Александр Васильевич
    • в сборнике Алгебра и логика: теория и приложения. Международная конференци, посвященная памяти В. П. Шункова (Красноярск, 21-27 июля 2013 года), место издания Изд-во СФУ Красноярск, тезисы, с. 83-84
  • • 2009 Алгоритмические проблемы окрестностной полноты нормальных модальных логик
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 39-41
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
  • • 2009 О логических проблемах и особенностях математического языка
    • Чагров Александр Васильевич
    • в сборнике Тезисы второй международной конференции. Философия математики. Актуальные проблемы, место издания Макс Пресс Москва, тезисы, с. 349-351
  • • 2005 К вопросу о естественных минимальных логиках: Базисная и формальная логики А. Виссера и их модальные напарники
    • Чагров Александр Васильевич
    • в сборнике Философия и будущее цивилизации. Тезисы докладов и выступлений IV Российского философского конгресса (Москва, 24-28 мая 2005 г.), место издания "Современные тетради" Москва, том 5, тезисы, с. 550-551
    • редактор Костикова Анна Анатольевна
  • • 2004 Алгоритмическая проблема модальной определимости формул первого порядка с ограничениями на число переменных в модальных пропозициональных формулах
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции, 24-26 июня 2004 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 544-546
  • • 2004 Финитарное семантическое следование для базисной и формальной логик А. Виссера: алгоритмический аспект
    • Чагров Александр Васильевич
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции, 24-26 июня 2004 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 542-543
  • • 2003 О расширениях «суперинтуиционистской» логики доказуемости формулами от одной переменной
    • Чагров Александр Васильевич
    • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 51-53
  • • 2003 О семантике Крипке со взрывающимися мирами для базисной логики
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 53-54
  • • 2003 О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных
    • Рыбаков Михаил Николаевич, Чагров Александр Васильевич
    • в сборнике Международная конференция "Колмогоров и современная математика" (16-21 июня 2003). Тезисы докладов, серия без серии, место издания МГУ Москва, тезисы, с. 707-708
  • • 2002 Normal modal logics with (in)finite sets of nonequivalent modalities
    • Chagrov Alexander, Chagrova A.A.
    • в сборнике Материалы юбилейной научной конференции «Российской математике — триста лет», место издания Изд-во Тверского гос. ун-та Тверь, тезисы, с. 127-139
  • • 2002 Алгоритмическая проблема первопорядковой определимости интуиционистских формул на конечных шкалах Крипке
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Материалы юбилейной научной конференции «Российской математике — триста лет», место издания Изд-во Тверского гос. ун-та Тверь, тезисы, с. 115-120
  • • 2002 Модальные формулы без переменных и PSpace-полнота
    • Рыбаков Михаил Николаевич, Чагров Александр Васильевич
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции, 20-22 июня 2002 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 498-500
  • • 2002 Суперинтуиционистские логики, консервативные относительно безымпликативных фрагментов интуиционистской логики
    • Чагров Александр Васильевич
    • в сборнике Материалы юбилейной научной конференции «Российской математике — триста лет», место издания Изд-во Тверского гос. ун-та Тверь, тезисы, с. 121-126
  • • 2001 Алгоритмическая проблематика в неклассических пропозициональных логиках
    • Чагров Александр Васильевич
    • в сборнике Третьи Смирновские чтения по логике. Материалы международной научной конференции. 24-27 мая 2001 года, серия Смирновские чтения по логике, место издания М, тезисы, с. 69-71
  • • 2001 Первопорядковая определимость интуиционистских формул на конечных шкалах крипке: алгоритмический аспект
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Третьи Смирновские чтения по логике. Материалы международной научной конференции. 24-27 мая 2001 года, серия Смирновские чтения по логике, место издания М, тезисы, с. 71-75
  • • 2000 Об интерполяционном свойстве полных по Э. Посту модальных логик
    • Чагров Александр Васильевич
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции, 22-24 июня 2000 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 258-259
  • • 1999 К вопросу об обратной математике модальной логики
    • Чагров Александр Васильевич
    • в сборнике Вторые Смирновские чтения по логике. Материалы международной научной конференции. 18-20 мая 1999 года, серия Смирновские чтения по логике, место издания М, тезисы, с. 72-75
  • • 1995 One more first order effect in Kripke semantics
    • Chagrov Alexander
    • в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 10th International Congress (Florence 1995), серия ICLMPS, место издания Italy, тезисы, с. 175
  • • 1994 The undecidability of the tabularity problem for modal logic
    • Chagrov Alexander
    • в сборнике Logic Colloquium '94. Abstracts of contributed papers, серия Logic Colloquium, место издания France, тезисы, с. 34
  • • 1992 The Sahlqvist formulas are not so elementary
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике The 1992 Europian Summer Meeting of the ASL, August 9-15, 1992. Abstracts, место издания J.Bolyai Mathematical Society, тезисы, с. 75
  • • 1990 An essay in complexity aspects of modal and intermediate calculi
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Proceedings of the Fourth Asian Logic Conference, место издания CSK Educational Center Tokyo, тезисы, с. 26-29
  • • 1990 Modal companions of intermediate logics: A survey
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Third Logical Biennial, Summer school and conference in honour of S. C. Kleene, June 6-15, 1990, Varna, Bulgaria. Abstracts, место издания Sofia, Bulgaria, тезисы, с. 15
  • • 1990 Неразрешимость финитарного семантического следования
    • Чагров Александр Васильевич
    • в сборнике Десятая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Алма-Ата, Гылым, тезисы, с. 162
  • • 1990 О полноте по Холдену
    • Захарьящев Михаил Викторович, Чагров Александр Васильевич
    • в сборнике Десятая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Алма-Ата, Гылым, тезисы, с. 70
  • • 1990 Погружения интуиционистской логики в альтернирующую пропоцизиональную динамическую логику
    • Чагров Александр Васильевич
    • в сборнике X Всесоюзня конференция по логике, методологии и философии науки, место издания Бел-НИИНТИ Минск, тезисы, с. 96-97
  • • 1989 Five theorems about the disjunction property of intermediate logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Международная конференция по алгебре, посвященная памяти А.И.Мальцева (1909-1967). Тезисы докладов по теории моделей и алгебраических систем, место издания ИМ СО АН СССР Новосибирск, тезисы, с. 45
  • • 1989 Five theorems about the disjunction property of intermediate logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Logic Colloquium '89. Abstracts of contributed papers, серия Logic Colloquium, место издания Berlin, тезисы
  • • 1988 Некоторые свойства логических эквациональных логик
    • Чагров Александр Васильевич
    • в сборнике Девятая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Ленинград: Наука, тезисы, с. 172
  • • 1988 Несколько замечаний о свойствах итерации
    • Чагров Александр Васильевич
    • в сборнике II Всесоюзная конференция по прикладной логике. Новосибирск, 7-9 июня 1988 г. Тезисы докладов, место издания Новосибирск, тезисы, с. 237-239
  • • 1987 Possibilities of the classical interpretations of intuitionistic logic
    • Chagrov Alexander
    • в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 8th International Congress (Moscow 1987), серия ICLMPS, издательство ELSEVIER INC (525 B STREET, STE 1900, SAN DIEGO, USA, CA,92101-4495), том 4, тезисы, с. 237-239
  • • 1987 Об аппроксимируемости многообразий псевдобулевых алгебр
    • Циткин Александр Ильич, Чагров Александр Васильевич
    • в сборнике XIX Всесоюзная алгебраическая конференция. Львов, 9-11 сентября 1987 г. Тезисы сообщений, часть 1, место издания Львов, тезисы, с. 305
  • • 1986 Два континуума максимальных пропозициональных логик
    • Чагров Александр Васильевич
    • в сборнике Логика и системные методы анализа научного знания. Тезисы докладов к IX Всесоюзному совещанию по логике, методологии и философии науки. Харьков, 8-10.X.1986. Секции 1-5, место издания ВИНИТИ Москва, тезисы, с. 50-51
  • • 1986 Нижняя оценка мощности аппроксимирующих шкал Крипке
    • Чагров Александр Васильевич
    • в сборнике Логические методы построения эффективных алгоритмов, место издания Изд-во КГУ Калинин, тезисы, с. 96-125
  • • 1986 Простые примеры неразрешимых рекурсивно аксиоматизируемых финитно аппроксимируемых эквациональных логик
    • Чагров Александр Васильевич
    • в сборнике Восьмая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Москва, тезисы, с. 206
  • • 1986 Разрешимость проблемы антитабличности расширений логики Геделя–Леба
    • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
    • в сборнике Логические методы построения эффективных алгоритмов, место издания Изд-во КГУ Калинин, тезисы, с. 126-129
  • • 1985 0-порожденные логические матрицы, порождаемые ими многообразия и полнота по Посту
    • Чагров Александр Васильевич
    • в сборнике XVIII Всесоюзная алгебраическая конференция. Тезисы сообщений, место издания Кишинев: Институт математики АН МССР Кишинев, том 1, тезисы, с. 262
  • • 1984 О сложности суперинтуиционистских логик
    • Чагров Александр Васильевич
    • в сборнике Седьмая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Новосибирск: Институт математики Сибирского отделения АН СССР, тезисы, с. 193
  • • 1983 Неклассические логики и многообразия логических матриц
    • Чагров Александр Васильевич
    • в сборнике Семиотические аспекты формализации интеллектуальной деятельности. Школа-семинар «Телави-83». Тезисы докладов и сообщений, место издания Москва, тезисы, с. 136-138
  • • 1983 О минимальных модальных напарниках Int
    • Чагров Александр Васильевич
    • в сборнике Семиотические аспекты формализации интеллектуальной деятельности. Школа-семинар «Телави-83». Тезисы докладов и сообщений, место издания Москва, тезисы, с. 138
  • • 1982 О некоторых свойствах расширений модальной логики S3
    • Чагров Александр Васильевич
    • в сборнике Модальные и интенсиональные логики. Материалы к VIII Всесоюзной конференции «Логика и методология науки». Паланга, 26-28 сентября 1982 г., место издания Институт философии АН СССР Москва, тезисы, с. 123-124

• НИРы

  • • 1 января 2014 - 31 декабря 2015 Исследование моделей неклассических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шапировский И.Б. Участники НИР: Золин Е.Е., Кикоть С.П., Кудинов А.В., Осипов И.И., Рыбаков М.Н., Савельев Д.И., Скворцов Д.П., Смелянский Д.М., Чагров А.В.

• Руководство диссертациями

  • • 2006 Модальные квазинормальные логики без независимой аксиоматизации
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Горбунов Игорь Анатольевич
    • Научный руководитель: Чагров Александр Васильевич
    • Защищена в совете Д 212.002.03 при Ярославский государственный университет
    • Организация, в которой выполнялась работа: Тверской государственный университет
    • Ведущая организация: Красноярский государственный университет
    • Оппоненты: Захарьящев Михаил Викторович, Дудаков Сергей Михайлович
  • • 2005 Сложность пропозициональных логик с конечным числом переменных
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Рыбаков Михаил Николаевич, к.ф.-м.н., доц.
    • Научный руководитель: Чагров Александр Васильевич
    • Защищена в совете Д 212.002.03 при Ярославский государственный университет
    • Организация, в которой выполнялась работа: Тверской государственный университет
    • Ведущая организация: Красноярский государственный университет
    • Оппоненты: Шехтман Валентин Борисович, Яворский Ростислав Эдуардович

• Диссертации

  • • 1998 Моделирование вычислительных процессов средствами пропозициональных логик
    • Докторская диссертация по специальностям 05.13.17 - Теоретические основы информатики, 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Чагров Александр Васильевич
    • Научный консультант: Любецкий Василий Александрович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 003.29.01 при Институт прикладной математики им. М. В. Келдыша РАН
    • Организация, в которой выполнялась работа: Институт проблем передачи информации им. А.А.Харкевича РАН
    • Ведущая организация: Институт прикладной математики им. М.В.Келдыша РАН
    • Оппоненты: Журавлев Юрий Иванович, Тайцлин Михаил Абрамович, Бениаминов Евгений Михайлович
  • • 1987 Сложность аппроксимируемости модальных и суперинтуиционистских логик
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Чагров Александр Васильевич
    • Научный руководитель: Канович Макс Иосифович
    • Защищена в совете К 012.03.01 при Институт математики с ВЦ АН МССР
    • Организация, в которой выполнялась работа: Калининский государственный университет
    • Ведущая организация: Красноярский государственный университет
    • Оппоненты: Смирнов Владимир Александрович, Артемов Сергей Николаевич