Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Чагров Александр Васильевич
(1957–2016)
Публикаций: 137 (137)
в MathSciNet: 34 (34)
в zbMATH: 38 (38)
в Web of Science: 3 (3)
в Scopus: 11 (11)
Цитированных статей: 17
Цитирований: 221

Статистика просмотров:
Эта страница:1838
Страницы публикаций:474
Полные тексты:183
Списки литературы:13
Чагров Александр Васильевич
профессор
доктор физико-математических наук (1998)
Специальность ВАК: 05.13.18; 05.13.17 (математическое моделирование, численные методы и комплексы программ; теоретические основы информатики)

https://www.mathnet.ru/rus/person34268
Список публикаций на Google Scholar
https://zbmath.org/authors/?q=ai:chagrov.alexander-v
https://mathscinet.ams.org/mathscinet/MRAuthorID/198368
https://elibrary.ru/author_items.asp?authorid=15834
ИСТИНА https://istina.msu.ru/workers/8102612
https://www.scopus.com/authid/detail.url?authorId=16404927700

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2016
1. А. С. Карпенко, А. В. Чагров, “Модальная пропозициональная логика истины Tr и её полнота”, Логические исследования, 22:1 (2016), 13–31  mathscinet  zmath  elib

   2015
2. А. В. Чагров, “Финитная аппроксимируемость нормальных модальных логик и константные формулы: пример”, Логические исследования, 21:1, ИФ РАН, Москва (2015), 79–85  mathscinet  zmath  elib

   2013
3. А. В. Чагров, “Бесконечность, всеведение, теоремы Гёделя о неполноте”, Философия математики: актуальные проблемы. Математика и реальность, Тезисы Третьей всероссийской научной конференции (Москва, 27–28 сентября 2013 года), ред. В. А. Бажанов, Е. В. Косилова, А. Н. Кричевец, В. Я. Перминов, В. А. Шапошников, Центр стратегической конъюнктуры, Москва, 2013, 206–209
4. С. И. Кучерявый, А. В. Чагров, “О «модальных» вариантах результатов А. В. Кузнецова 50-летней давности”, Алгебра и логика: теория и приложения. Международная конференция, посвящённая памяти В. П. Шункова (Красноярск, 21–27 июля 2013 года), СФУ, Красноярск, 2013, 83–84

   2012
5. А.В.Чагров, Л.А.Чагрова, “Сравнительный анализ программ курсов логического цикла на математических и гуманитарных факультетах”, Проблеми викладання логiки та перспективи її розвитку., VІ Мiжнародна науково-практична конференцiя (Київський нацiональний унiверситет iменi Тараса Шевченка, 3–4 травня 2012 року), ВПЦ «Київський унiверситет», Київ, 2012, 192–193

   2010
6. А. В. Чагров, Л. А. Чагрова, “Алгоритмическая проблема топологической полноты пропозициональных логик”, Современная логика: проблемы теории, истории и применения в науке, Материалы XI Общероссийской научной конференции (Санкт-Петербург, 23–26 июня 2010 года), СПбГУ, Санкт-Петербург, 2010, 461–463
7. А. В. Чагров, “О суперинтуиционистских логиках, консервативных относительно безымпликативных фрагментов Int с ограничениями на число переменных”, Алгебра, логика и приложения (Красноярск, 19–25 июля 2010 года), Сибирский федеральный университет, Красноярск, 2010, 107–108
8. А. В. Чагров, “Константные формулы и финитная аппроксимируемость нормальных модальных логик”, Синтаксис и семантика логических систем (Иркутск, 10–14 августа 2010 года), ГОУ ВПО “Восточно-Сибирская государственная академия образования”, Иркутск, 2010, 109–112
9. A. V. Chagrov, L. A. Chagrova, “Undecidability of the Problem of Topological Completeness of Normal Extensions of S4”, Advances in Modal Logic, Extended Abstracts (Moscow, Steklov Mathematical Institute of RAS, 2010), 2010, 22-24
10. А. В. Чагров, “Табличность, финитная аппроксимируемость, ... Математические аспекты”, "Воображаемая логика Н. А. Васильева и современные неклассические логики, Материалы международной конференции (Казань, 10–15 октября 2010 года), Труды Математического центра имени Н. И. Лобачевского, 41, Казанское математическое общество, Казань, 2010, 45–46
11. А. В. Чагров, “Конструктивная логика”, Новая философская энциклопедия. В 4 томах., 2, ред. В. С. Стёпин, А. А. Гусейнов, Г. Ю. Семигин, А. П. Огурцов, Мысль, Москва, 2010, 292–293

   2009
12. А. В. Чагров, “О логических проблемах и особенностях математического языка”, Тезисы второй международной конференции. Философия математики. Актуальные проблемы (Москва), Макс Пресс, Москва, 2009, 349–351
13. А. В. Чагров, “Алгоритмические проблемы окрестностной полноты нормальных модальных логик”, Шестые Смирновские чтения по логике, Материалы международной научной конференции (Москва, 17–19 июня 2009 года), ред. О. М. Григорьев, Д. В. Зайцев, Ю. В. Ивлев, В. И. Маркин, Современные тетради, 2009, 39–41
14. А. В. Чагров, Л. А. Чагрова, “Алгоритмическая проблема окрестностной полноты нормальных модальных логик”, Шестые Смирновские чтения по логике, Современные тетради, Москва, 2009, 39–41

   2008
15. А. В. Чагров, Л. А. Чагрова, “О полиномиальной разрешимости вариантов логики А. Виссера, связанных с утверждениями о непротиворечивости, с ограничениями на число переменных”, Современная логика: проблемы теории, истории и применения в науке, Материалы X Общероссийской научной конференции (Санкт-Петербург, 26–28 июня 2008 года), СПбГУ, Санкт-Петербург, 2008, 321–322

   2007
16. А. В. Чагров, “О роли неявных постулатов (тезисов) в развитии математического знания и знании о математическом знании”, Философия математики: актуальные проблемы, Материалы Международной научной конференции (Москва, 15–16 июня 2007 года), МГУ, Москва, 2007, 81–83
17. K. S. Blazhkovskaya, A. V. Chagrov, “The independence of the connectives in Visser`s formal propositional logic”, Смирновские чтения. Материалы 5-й конференции (Москва, 20–22 июня 2007 года), ИФ РАН, Москва, 2007, 43–44
18. A. V. Chagrov, L. A. Chagrova, “Algorithmic problems for the primordial swmantics of Vissers formal propositional logic in finitely many variables”, Смирновские чтения по логике, Материалы 5-й конференции (Москва, 20–22 июня 2007 года), ИФ РАН, Москва, 2007, 47–48

   2006
19. A. V. Chagrov, L. A. Chagrova, “The truth about algorithmic problems in correspondence theory”, Advances in Modal Logic, 6, College Publications, London, 2006, 121–138  mathscinet  zmath  scopus
20. А. В. Чагров, Л. А. Чагрова, “Крах алгоритмической проблематики теории соответствия?”, Логические исследования, 13, ИФ РАН, Москва (2006), 248–272  zmath
21. А. В. Чагров, “Алгоритмическая проблема финитарного семантического следования пропозициональных формул I: контекст и постановка задачи”, Логические исследования, 13, ИФ РАН, Москва (2006), 191–223  elib

   2005
22. А. В. Чагров, “К вопросу о естественных минимальных логиках: Базисная и формальная логики А. Виссера и их модальные напарники”, Философия и будущее цивилизации, Тезисы докладов и выступлений IV Российского философского конгресса (Москва, 24–28 мая 2005 года), 5, ред. А. А. Костикова, Современные тетради, Москва, 2005, 550–551
23. А. В. Чагров, “Несколько замечаний о естественных минимальных логиках: базисная и формальная логики А. Виссера и их модальные напарники”, Логические исследования, 12, ИФ РАН, Москва (2005), 293–299  zmath  elib
24. A. Chagrov, “An algorithmic versuion of Bloks theorem”, International conference “Computer Science applications of modal logic”, Abstracts (Moscow, September 5–9, 2005), Independent University of Moscow, Moscow, 2005, 11-12
25. A. Chagrov, L. Chagrova, “Algorithmic problems in semantics of Vissers formal propositional logic”, International conference "Computer science applications of modal logic, Abstracts (Moscow, September 5–9, 2005), Independent University of Moscow, Moscow, 2005, 11–12

   2004
26. А. В. Чагров, “Финитарное семантическое следование для базисной и формальной логик А. Виссера: алгоритмический аспект”, Современная логика: проблемы теории, истории и применения в науке, Материалы VIII Общероссийской научной конференции (Санкт-Петербург, 24–26 июня 2004 года), СПбГУ, Санкт-Петербург, 2004, 542–543
27. А.В.Чагров, Л.А.Чагрова, “Алгоритмическая проблема модальной определимости формул первого порядка с ограничениями на число переменных в модальных пропозициональных формулах”, Современная логика: проблемы теории, истории и применения в науке, Материалы VIII Общероссийской научной конференции (Санкт-Петербург, 24–26 июня 2004 года), СПбГУ, Санкт-Петербург, 2004, 544-546
28. А. В. Чагров, Л. А. Чагрова, “Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А. Виссера”, Труды научно-исследовательского семинара Логического центра Института философии РАН, 17, ИФ РАН, Москва, 2004, 94–102  zmath
29. А. В. Чагров, “Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера”, Логические исследования, 11, ИФ РАН, Москва (2004), 282–289  zmath

   2003
30. А. В. Чагров, “Применение итерации для дедукционных теорем в нормальных модальных логиках”, Вестник ТвГУ. Серия: Прикладная математика, 2003, № 1, 28–33  mathnet  elib
31. М. Н. Рыбаков, А. В. Чагров, “О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных”, Международная конференция “Колмогоров и современная математика”, Тезисы докладов (Москва, 16–21 июня 2003 года), МГУ, Москва, 2003, 707–708
32. А. В. Чагров, Л. А. Чагрова, “О семантике Крипке со взрывающимися мирами для базисной логики”, Четвёртые Смирновские чтения по логике, Материалы международной научной конференции (Москва, 28–30 мая 2005 года), ИФ РАН, Москва, 2003, 53–54
33. А. В. Чагров, “О расширениях «суперинтуиционистского» логики доказуемости формулами от одной переменной”, Четвёртые Смирновские чтения по логике, Материалы международной научной конференции (Москва, 28–30 мая 2005 года), ИФ РАН, Москва, 2003, 51–53
34. M. Rybakov, A. Chagrov, “How many variables does one need to prove PSPACE-hardness of modal logics?”, Advances in Modal Logic, 4, Kings College Publications, London, 2003, 71–82  mathscinet  zmath
35. А. В. Чагров, “Формальная пропозициональная логика А. Виссера и ее расширения”, Логические исследования, 10, ИФ РАН, Москва (2003), 225–232
36. А. В. Чагров, “Культура математической речи как составная часть математического образования”, Математическая и методическая подготовка студентов педвузов и университетов в условиях модернизации системы образования, Материалы XXII Всероссийского семинара преподавателей математики педвузов и университетов (Тверь), 2003, 160–163

   2002
37. А. В. Чагров, “Суперинтуиционистские логики, консервативные относительно безымпликативных фрагментов интуиционистской логики”, Материалы юбилейной научной конференции «Российской математике — триста лет» (Тверь), ТвГУ, Тверь, 2002, 121–126
38. М. Н. Рыбаков, А. В. Чагров, “Модальные формулы без переменных и PSPACE-полнота”, Современная логика: проблемы теории, истории и применения в науке, Материалы VII Общероссийской научной конференции (Санкт-Петербург, 20–22 июня 2002 года), СПбГУ, Санкт-Петербург, 2002, 498–500
39. А. В. Чагров, Л. А. Чагрова, “Алгоритмическая проблема первопорядковой определимости интуиционистских формул на конечных шкалах Крипке”, Материалы юбилейной научной конференции «Российской математике — триста лет» (Тверь), ТвГУ, Тверь, 2002, 115–120
40. A. V. Chagrov, A. A. Chagrova, “Normal modal logics with (in)finite sets of nonequivalent modalities”, Материалы юбилейной научной конференции «Российской математике — триста лет» (Тверь), ТвГУ, Тверь, 2002, 127–139
41. А. В. Чагров, Л. А. Чагрова, “О двух видах семантики Крипке для базисной логики А. Виссера”, Труды научно-исследовательского семинара Логического центра Института философии РАН, 16, ИФ РАН, Москва, 2002, 112–116  mathscinet  zmath
42. М. Н. Рыбаков, А. В. Чагров, “Константные формулы в модальных логиках: проблема разрешения”, Логические исследования, 9, ИФ РАН, Москва (2002), 202–220  zmath
43. А. В. Чагров, “Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики”, Логические исследования, 9, ИФ РАН, Москва (2002), 251–263  mathscinet  zmath
44. A. V. Chagrov, M. N. Rybakov, “Least Number of Variables for PSPACE-Hardness of Provability Problem in Systems of Modal Logic”, Advances in Modal Logic (30 Septembre – 2 Octobre 2002. Institut de Reacherche en Informatique de Toulouse, Universite Paul Sabatier, Toulouse, France), Toulouse, 2002, 178–188
45. А. В. Чагров, “К вопросу об истоках изучения логико-методологических основ математики в Тверском педвузе”, Трёхвековой юбилей российской математики и физико-математического образования, Материалы межвузовской научно-методической конференции (Тверь), ТвГУ, Тверь, 2002, 68–72

   2001
46. А. В. Чагров, Л. А. Чагрова, “Первопорядковая определимость интуиционистских формул на конечных шкалах Крипке: алгоритмический аспект”, Третьи Смирновские чтения по логике, Материалы международной научной конференции (Москва, 24–27 мая 2001 года), Москва, 2001, 71–75
47. А. В. Чагров, “Алгоритмическая проблематика в неклассических пропозициональных логиках”, Третьи Смирновские чтения по логике, Материалы международной научной конференции (Москва, 24–27 мая 2001 года), Москва, 2001, 69–71
48. А. В. Чагров, “К логическим проблемам семантических аспектов информационного взаимодействия”, Труды 3 Международной конференции “Проблемы управления и моделирования в сложных системах”, Самара, 2001, 611–616
49. А. В. Чагров, “Доказательство одной теоремы Крипке”, Труды научно-исследовательского семинара Логического центра Института философии РАН, 15, ИФ РАН, Москва, 2001, 113–119  mathscinet  zmath
50. M. Zakharyaschev, F. Wolter, A. Chagrov, “Advanced Modal Logic”, Handbook of Philosophical Logic, 2nd edition, Volume 3, eds. D. M. Gabbay, F. Guenthner, Kluwer Academic Publisher, Dordrecht, Netherlands, 2001, 83–266  crossref  mathscinet  zmath 27
51. А. В. Чагров, “К вопросу об обратной математике модальной логики”, Логические исследования, 8, ИФ РАН, Москва (2001), 224–243  mathscinet  zmath
52. A. Chagrov, “All tabular generally Post-complete extensions of K4 have interpolation property”, Информационные процессы, 1:1 (2001), 50–55

   2000
53. А. В. Чагров, “Об интерполяционном свойстве полных по Э. Посту модальных логик”, Современная логика: проблемы теории, истории и применения в науке, Материалы VI Общероссийской научной конференции (22–24 июня 2000 года), СПбГУ, Санкт-Петербург, 2000, 258–259
54. А. В. Чагров, “Логика, не являющаяся ни конечнозначной, ни бесконечнозначной”, Труды научно-исследовательского семинара Логического центра Института философии РАН, 14, ИФ РАН, Москва, 2000, 59–67  zmath
55. М. Н. Рыбаков, А. В. Чагров, “Стандартные переводы неклассических формул и относительная разрешимость логик”, Труды научно-исследовательского семинара Логического центра Института философии РАН, 14, ИФ РАН, Москва, 2000, 81–98  zmath
56. А. В. Чагров, “Об эффективных теоремах о дедукции в нормальных модальных логиках”, Логические исследования, 7, ИФ РАН, Москва (2000), 209–216  mathscinet  zmath
57. А. В. Чагров, “Два замечания о строго импликативных формулах в модальной логике S3”, Логические исследования, 7, ИФ РАН, Москва (2000), 84–89  zmath

   1999
58. А. В. Чагров, “К вопросу об обратной математике модальной логики”, Вторые Смирновские чтения по логике, Материалы международной научной конференции (Москва, 18–20 мая 1999 года), Москва, 1999, 72–75 (в печати)
59. A. V. Chagrov, “A first-order effect and modal propositional formulas”, Logic and Foundations of Mathematics. Selected Contributed Papers of the 10th International Congress of Logic, Methodology and Philosophy of Science (Florence 1995), 280, Springer, Dordrecht, 1999, 209–217  crossref  mathscinet
60. А.В.Чагров, “Строго импликативные формулы в модальных логиках, близких к интуиционистской”, Логические исследования, 6, ИФ РАН, Москва (1999), 69–75  zmath
61. А. В. Чагров, “Об альтернирующем информационном взаимодействии”, Проблемы управления и моделирования в сложных системах: Труды Международной конференции (Самара), ред. В. П. Мяскников, Н. А. Кузнецов, В. А. Виттих, Самарский научный центр РАН, Самара, 1999, 168–171
62. А. В. Чагров, “О роли аксиомы выбора в исследованиях по модальной логике”, XXI век: будущее России в философском измерении., Материалы Второго Российского философского конгресса (Екатеринбург, 7–11 июня 1999 года), В 4-х т. Т.1: Онтология, гносеология и методология науки, логика. Ч.1., Изд-во Урал. ун-та, Екатеринбург, 1999, 235

   1998
63. A. Chagrov, M. Zakharyashchev, “Mathematical aspects of modal logics: achivements, tendencies, problems”, Bulletin of the Section of Logic, 27:1/2 (1998), 50–52
64. А. В. Чагров, А. А. Чагрова, “Бесконечные множества несводимых модальностей в нормальных модальных логиках”, Логические исследования, 1998, Москва, Наука, № 5, 150–159  zmath
65. А. В. Чагров, Моделирование вычислительных процессов средствами пропозициональных логик, Автореферат диссертации на соискание степени доктора физико-математических наук, Москва, 1998  elib
66. А. В. Чагров, Моделирование вычислительных процессов средствами пропозициональных логик, Диссертация на соискание степени доктора физико-математических наук (05.13.17, 01.01.06), ИППИ РАН, Москва, 1998 , 292 с.

   1997
67. A. Chagrov, M. Zakharyaschev, Modal Logic, Oxford University Press, 1997 , 605 pp.  mathscinet  zmath

   1996
68. M. Zakharyaschev, F. Wolter, A. Chagrov, Advanced Modal Logic, Preprint IS–RR–96–0027F (ISSN 0918–7553), School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku, 1996  mathscinet  zmath

   1995
69. A. Chagrov, M. Zakharyaschev, “On the independent axiomatizability of modal and intermediate logics”, J. Logic Computat., 5:3 (1995), 287–302  crossref  mathscinet  zmath  elib  scopus 9
70. A. Chagrov, “One more first order effect in Kripke semantics”, Proc. of the 10th International Congress of Logic, Methodology and Philosophy of Science (Florence, Italy), 1995, 175
71. A. Chagrov, M. Zakharyaschev, “Sahlqvist formulas are not so elementary even above S4”, Logic Colloquium 92, Edited by Laslo Csirmaz, Dov M. Gabbay and Maarten de Rijke, CSLI (Center for the Study of Language and Information) Publications (& Folli (The European Association for Logic, Language and Information)), Stanford, California, 1995, 61–73  mathscinet  zmath
72. A. Chagrov, “A note on expressive power of iteration”, Bulletin of the Section of Logic, 24:4 (1995), 234–235  mathscinet  zmath
73. A. V. Chagrov, L. A. Chagrova, “Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames”, Studia Logica, 55:3 (1995), 421–448  crossref  mathscinet  zmath  scopus 5
74. A. Chagrov, M. Zakharyaschev, “You cant independently axiomatize all modal logics”, Bull. Symbol. Log., 1:1 (1995), 108–109
75. A. Chagrov, “The undecidability of the tabularity problem for modal logic”, Bull. Symbol. Log., 1:2 (1995), 228
76. A. V. Chagrov, V. B. Shehtman, “Algorithmic aspects of propositional tense logics”, Computer Science Logic, 8th Workshop, CSL `94 (Kazimierz, Poland, September 25-30, 1994), Lecture Notes in Computer Science, 933, L. Pacholski, J. Tiuryn (Eds.), 1995, 442–455 (Springer)  crossref  mathscinet  zmath  isi  elib  scopus 5

   1994
77. A. Chagrov, “Some remarks about generalized Post-completeness of extensions of K4”, Bulletin of the Section of Logic, 23:1 (1994), 27–29  mathscinet  zmath
78. A. Chagrov, “The undecidability of the tabularity problem for modal logic”, Logic Colloquium94, Abstr. of contributed papers (Clermont-Ferrand, France, 21-30 juilett 1994), 1994, 34
79. A. V. Chagrov, V. B. Shehtman, “Algorithmic Aspects of Tense Logics”, 1994 Annual Conference for Computer Science Logic (September 26–30, 1994, Kazimierz, Poland), Abstracts. Technical report TR 94–08(197), Institute of Informatics, Warsaw University, 1994, 26  mathscinet
80. А. В. Чагров, “О рекурсивной аппроксимируемости модальных и суперинтуиционистских логик”, Алгебраические и логические конструкции, ТГУ, Тверь, 1994, 91–97
81. А. В. Чагров, “Неразрешимые свойства суперинтуиционистских логик”, Математические вопросы кибернетики. Вып. 5, Сборник статей, Под ред. С. В. Яблонского, Физматлит, Москва, 1994, 62–108  mathscinet

   1993
82. A. V. Chagrov, L. A. Chagrova, Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames, Preprint, ILLC Prepublication Series for Mathematical Logic and Foundations, ML-93-07, University of Amsterdam, 1993  mathscinet
83. A. Chagrov, M. Zakharyashchev, On the independent axiomatizability of modal and intermediate logics, Preprint, ILLC Prepublication Series for Mathematical Logic and Foundations, ML-93-17, University of Amsterdam, 1993  mathscinet
84. A. Chagrov, M. Zakharyashchev, “The undecidability of the disjunction property of propositional logics and other related problems”, J. Symb. Log., 58:3 (1993), 967–1002  crossref  mathscinet  zmath  isi 20
85. A. Chagrov, M. Zakharyashchev, “The Sahlqvist formulas are not so elementary”, J. Symb. Log., 58:3 (1993), 1137–1138  crossref  mathscinet 20
86. A. Chagrov, “Four intervals of irreducible logics”, Bulletin of the Section of Logic, 22:4 (1993), 167–168  mathscinet  zmath

   1992
87. А. В. Чагров, “Континуальность множества максимальных суперинтуиционистских логик со свойством дизъюнктивности”, Матем. заметки, 51:2 (1992), 117–123  mathnet  mathscinet  zmath  isi  scopus; A. V. Chagrov, “Continuality of the set of maximal superintuitionistic logics with the disjunction property”, Math. Notes, 51:2 (1992), 188–193  crossref  mathscinet  zmath  isi  scopus 4
88. A. Chagrov, M. Zakharyashchev, “Modal Companions of Intermediate Propositional Logics”, Studia Logica, 51:1 (1992), 49–82  crossref  mathscinet  zmath  scopus 37
89. A. Chagrov, M. Zakharyashchev, “The Sahlqvist formulas are not so elementary”, The 1992 Europian Summer Meeting of the ASL (Vesprem, August 9–15, 1992), Abstracts. J.Bolyai Mathematical Society, 1992, 75
90. А. В. Чагров, “Разрешимая модальная логика с неразрешимой проблемой допустимости правил вывода”, Алгебра и логика, 31:1 (1992), 83–93  mathnet  crossref  mathscinet  zmath  scopus 18
91. A. V. Chagrov, “Decidable modal logic with undecidable admissibility problem”, Algebra and Logic, 31:1, Consultants Bureau (United States) (1992), 53–61  crossref  mathscinet  zmath  scopus 18

   1991
92. A. Chagrov, M. Zakharyashchev, The disjunction property of intermediate propositional logics, Preprint, University of Amsterdam, ITLI Prepublication Series, X-91-01, 1991  mathscinet
93. A. Chagrov, M. Zakharyashchev, Undecidability of the disjunction property of intermediate propositional logics, Preprint, University of Amsterdam, ITLI Prepublication Series, X-91-02, 1991  mathscinet
94. A. Chagrov, M. Zakharyashchev, “The disjunction property of intermediate propositional logics”, Studia Logica, 50:2, Kluwer Academic Publishers (Netherlands) (1991), 189–216  crossref  mathscinet  zmath  scopus 22

   1990
95. A. V. Chagrov, M. V. Zakharyashchev, “On Hallden-completeness of intermediate and modal logics”, Bulletin of the Section of Logic, 19:1 (1990), 21–24  mathscinet  zmath
96. A. V. Chagrov, “Undecidability in propositional logics: calculi, formulas, properties”, Third Logical Biennial, Summer school&conference in honour of S. C. Kleene (June 6–15, 1990; Chaika near Varna; Bulgaria), Sofia, 1990, 14
97. A. Chagrov, M. Zakharyashchev, “Modal companions of intermediate logics: A survey”, Third Logical Biennial, Summer school&conference in honour of S. C. Kleene (June 6–15, 1990; Chaika near Varna; Bulgaria), Sofia, 1990, 15
98. М. В. Захарьящев, А. В. Чагров, Неразрешимость свойства полноты по Холдену модальных исчислений, Препринт Ин. прикл. матем. им. М.В.Келдыша АН СССР, №82, 1990
99. А. В. Чагров, Л. А. Чагрова, “О первопорядковой определимости интуиционистских формул в классе шкал высоты не более трёх”, Конструкции в алгебре и логике, ТГУ, Тверь, 1990, 117–119
100. A. Chagrov, M. Zakharyashchev, “An essay in complexity aspects of intermediate calculi”, Proceedings of the Fourth Asian Logic Conference (September 3–6, 1990, Tokyo), 1990, 26–29
101. А. В. Чагров, “Погружения интуиционистской логики в альтернирующую пропозициональную динамическую логику”, Х Всесоюзная конференция по логике, методологии и философии науки, Тез. докл. и выст., БелНИИНТИ, Минск, 1990, 96–97
102. М. В. Захарьящев, А. В. Чагров, “О полноте по Холдену”, Десятая Всесоюзная конференция по математической логике (Алма-Ата, 1–3 ноября 1990 года), Алма-Ата, Гылым, 1990, 70
103. А. В. Чагров, “Неразрешимость финитарного семантического следования”, Десятая Всесоюзная конференция по математической логике (Алма-Ата, 1–3 ноября 1990 года), Алма-Ата, Гылым, 1990, 162
104. А. В. Чагров, “Неразрешимые свойства расширений логики доказуемости”, Алгебра и логика, 29:3 (1990), 350–367  mathnet  crossref  mathscinet  zmath  scopus 10
105. А. В. Чагров, “Неразрешимые свойства расширений логики доказуемости. II”, Алгебра и логика, 29:5 (1990), 613–623  mathnet  crossref  mathscinet  zmath  scopus 7
106. А. В. Чагров, “Какие же свойства расширений К4 разрешимы?”, Философские основания неклассических логик, Труды научно-исследовательского семинара по логике Института философии АН СССР, 8, Институт философии АН СССР, Москва, 1990, 90–94
107. A. V. Chagrov, “Undecidable properties of extensions of the logic of provability. I”, Algebra and Logic, 29:3, Consultants Bureau (United States) (1990), 231–243  mathnet  crossref  mathscinet  zmath  scopus 10
108. A. V. Chagrov, “Undecidable properties of extensions of a provability logic. II”, Algebra and Logic, 29:5, Consultants Bureau (United States) (1990), 406–413  mathnet  crossref  mathscinet  zmath  scopus 7

   1989
109. М. В. Захарьящев, А. В. Чагров, Неразрешимость дизъюнктивного свойства суперинтуиционистских исчислений, Препринт Ин. прикл. матем. им. М.В.Келдыша АН СССР, №57, 1989
110. A. V. Chagrov, M. V. Zakharyashchev, “Five theorem about the disjunction property of intermediate logics”, Международная конференция по алгебре, посвященная памяти А.И.Мальцева (1909–1967). Тезисы докладов по теории моделей и алгебраических систем, Новосибирск, ИМ СО АН СССР, 1989, 45
111. А. В. Чагров, “О границах множества модальных напарников интуиционистской логики”, Неклассические логики и их применения, ИФ АН СССР, Москва, 1989, 74–81
112. А. В. Чагров, “Добавление к статье Л.А.Чагровой “О неразрешимости первопорядковой определимости пропозициональных формул””, Неклассические логики и их применения, ИФ АН СССР, Москва, 1989, 84–85
113. A. V. Chagrov, M. V. Zakharyashchev, “Five theorem about the disijunction property of intermediate logics”, ASL Logic Colloquium “Berlin 89”, 1989
114. А. В. Чагров, “Нетабличность — предтабличность, антитабличность, коантитабличность”, Алгебро-логические конструкции, КГУ, Калинин, 1989, 105–111

   1988
115. А. В. Чагров, “Несколько замечаний о свойствах итерации”, II Всесоюзная конференция по прикладной логике, Тезисы докладов (Новосибирск, 7–9 июня 1988 года), Новосибирск, 1988, 237–239
116. А. В. Чагров, “Некоторые свойства “логических” эквациональных логик”, Девятая Всесоюзная конференция по математической логике, Наука, Ленинград, 1988, 172

   1987
117. А. В. Чагров, “Две теоремы об эквациональных логиках в сигнатуре из двух унарных символов”, Логико-алгебраические конструкции, КГУ, Калинин, 1987, 90–96  mathscinet
118. A. V. Chagrov, “Possibilities of the classical interpretations of intuitionistic logic”, Proc. 8th International Congress of Logic, Meth. and Phil. Science (Moscow, August 1987), 5, Part 1, Nauka, Moscow, 1987, 237–239
119. А. И. Циткин, А. В. Чагров, “Об аппроксимируемости многообразий псевдобулевых алгебр”, XIX Всесоюзная алгебраическая конференция (Львов, 9–11 сентября 1987 года), Тезисы сообщений, часть первая, Львов, 1987, 305
120. А. В. Чагров, “Два новых вида мультимодальных логик”, Неклассические логики и пропозициональные установки, ИФ АН СССР, Москва, 1987, 48–59
121. А. В. Чагров, Сложность аппроксимируемости модальных и суперинтуиционистских логик, Кандидатская диссертация по специальности 01.01.06 – Математическая логика, алгебра и теория чисел, КГУ, Тверь, 1987

   1986
122. А. В. Чагров, “Простые примеры неразрешимых рекурсивно аксиоматизируемых финитно аппроксимируемых эквациональных логик”, Восьмая Всесоюзная конференция по математической логике (Москва), 1986, 206
123. А. В. Чагров, “Два континуума максимальных пропозициональных логик”, Логика и системные методы анализа научного знания. Тезисы докладов к IX Всесоюзному совещанию по логике, методологии и философии науки (Харьков, 8–10 октября 1986 года), Москва, 1986, 50–51
124. А. В. Чагров, “Нижняя оценка мощности аппроксимирующих шкал Крипке”, Логические методы построения эффективных алгоритмов, КГУ, Калинин, 1986, 96–125
125. А. В. Чагров, Л. А. Чагрова, “Разрешимость проблемы антитабличности расширений логики Гёделя–Лёба”, Логические методы построения эффективных алгоритмов, КГУ, Калинин, 1986, 126–129

   1985
126. А. В. Чагров, “О сложности пропозициональных логик”, Сложностные проблемы математической логики, КГУ, Калинин, 1985, 80–90  mathscinet
127. А. В. Чагров, “Многообразия логических матриц”, Алгебра и логика, 24:4 (1985), 426–489  mathnet  crossref  mathscinet  zmath  scopus 1
128. А. В. Чагров, “0-порождённые логические матрицы, порождаемые ими многообразия и полнота по Посту”, XVIII Всесоюзная алгебраическая конференция (Кишинёв, 16–18 сентября 1985 года), Тезисы сообщений. Часть вторая, Кишинёв, 1985, 262
129. A. V. Chagrov, “Varieties of logical matrices”, Algebra and Logic, 24:4, Consultants Bureau (United States) (1985), 278–325  mathnet  crossref  mathscinet  zmath  scopus 1

   1984
130. А. В. Чагров, “О сложности суперинтуиционистских логик”, Седьмая Всесоюзная конференция по математической логике (Новосибирск, ИМ СО АН СССР), Новосибирск, 1984, 193

   1983
131. А. В. Чагров, “Неклассические логики и многообразия логических матриц”, Семиотические аспекты формализации интеллектуальной деятельности. Школа-семинар “Телави-83”. Тезисы докладов и сообщений, Москва, 1983, 136–138
132. А. В. Чагров, “О минимальных модальных напарниках Int”, Семиотические аспекты формализации интеллектуальной деятельности. Школа-семинар “Телави-83”. Тезисы докладов и сообщений, Москва, 1983, 138–140
133. А. В. Чагров, “О полиномиальной финитной аппроксимируемости модальных и суперинтуиционистских логик”, Математическая логика, математическая лингвистика и теория алгоритмов, КГУ, Калинин, 1983, 75–83

   1982
134. А. В. Чагров, “О ненормальных модальных напарниках Int”, Автоматы, алгорифмы, языки, КГУ, Калинин, 1982, 133–148
135. А. В. Чагров, “Числа Куратовского”, Применение функционального анализа в теории приближений, КГУ, Калинин, 1982, 186–190  mathscinet
136. А. В. Чагров, “О некоторых свойствах расширений модальной логики S3”, Модальные и интенсиональные логики. Материалы VIII Всесоюзной конфереции “Логика и методология науки”, Вильнюс, 1982, 123–124

   1981
137. А. В. Чагров, “Суперинтуиционистские фрагменты ненормальных модальных логик”, Математическая логика и математическая лингвистика, КГУ, Калинин, 1981, 144–162

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024