Основные публикации А.В. Чагрова по тематике Лаборатории 6 c 1999 года

1. Chagrov A.V. A first-order effect and modal propositional formulas. Andrea Cantini, etc. (Eds.) Logic and Foundation of Mathematics. Kluwer Academic Publishers, 1999. p. 209-217.
2. Чагров А.В. Об интерполяционном свойстве полных по Э.Посту модальных логик. Труды VI Общероссийской научной конференции «Современная логика: проблемы теории, истории и применения в науке», 22-24 июня 2000, Санкт-Петербург, Издательство ЛГУ, 2000, с. 258-259.
3. Чагров А.В. Два замечания о строго импликативных формулах в модальной логике S3. Логические исследования, выпуск 7, Москва, Наука, 2000, с. 84-89.
4. Чагров А.В. Об эффективных теоремах дедукции в нормальных модальных логиках. Логические исследования, выпуск 7, Москва, Наука, 2000, с. 209-216.
5. Чагров А.В. Логика, не являющаяся ни конечнозначной, ни бесконечнозначной. Труды научно-исследовательского семинара логического центра ИФ РАН, выпуск 14, Москва, Издательство РАН, 2000, с. 59-67.
6. Рыбаков М.Н., Чагров А.В. Стандарные переводы неклассических формул и относительная разрешимость логик. Труды научно-исследовательского семинара логического центра ИФ РАН, выпуск 14, Москва, Издательство РАН, 2000, с. 81-98.
7. Чагров А.В. Логика, не являющаяся ни конечно-значной, ни бесконечно значной. Труды научно-исследовательского семинара логического центра института философии РАН, вып. XIV, Москва 2000, с. 59-67.
8. Рыбаков М.Н., Чагров А.В. Стандартные переводы неклассических формул и относительная разрешимость логик. Труды научно-исследовательского семинара логического центра института философии РАН, вып. XIV, Москва, 2000, c. 81-98.
9. Chagrov A.V. All tabular generally post-complete extensions of k4 have interpolation property. Информационные процессы, том.1, No 1, 2001, с. 50-55.
10. Чагров А.В. Алгоритмическая проблематика в неклассических пропозициональных логиках. Смирновские чтения, третья международная конференция, Москва: ИФ РАН, 2001, с. 69-71.
11. Чагров А.В., Чагрова Л.А. Первопорядковая определимость интуиционистских формул на конечных шкалах крипке: алгоритмический аспект. Смирновские чтения, третья международная конференция, Москва: ИФ РАН, 2001, с. 71-75.
12. Чагров А.В. К логическим проблемам семантических аспектов информационного взаимодействия. Труды 3-ей международной конференции «Проблемы управления и моделирования в сложных системах», Самара, РАН, 2001, с. 611-616.
13. Zakharyaschev M., Wolter F. and Chagrov A. Advanced modal logic. In Gabbay D.M., Guenthner F. (eds.). Handbook of philosophical logic, 2nd edition, vol. 3, Kluver academic publishers, 2001, p. 83-266.
14. Чагров А.В. К вопросу об обратной математике модальной логики. Логические исследования,  выпуск 8. М.: Наука, 2001. c. 224-243.
15. Чагров А.В. Доказательство одной теоремы Крипке. Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XV. М.: 2001, c. 113-119.
16. Чагров А.В., Чагрова Л.А. Алгоритмическая проблема первопорядковой определимости интуиционистских формул на конечных шкалах Крипке. Российской математике – триста лет: Материалы юбилейной науч. конф. Тверь: Твер. гос. ун-т, 2002. c. 115-120.
17. Чагров А.В. Суперинтуиционистские логики, консервативные относительно безымпликативных фрагментов  интуиционистской логики. Российской математике – триста лет: Материалы юбилейной науч. конф. Тверь: Твер. гос. ун-т, 2002. c. 121-126.
18. Chagrov A.V., Chagrova A.A. Normal modal logics with (in)finite sets of nonequivalent modalities. Российской математике – триста лет: Материалы юбилейной науч. конф. Тверь: Твер. гос. ун-т, 2002. c. 127-139.
19. Рыбаков М.Н., Чагров А.В. Модальные формулы без переменных и PSPACE-полнота. Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции. Спб, 2002. c. 498-500.
20. Chagrov A.V., Rybakov M.N. 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 recherche en informatique de Toulouse, Universit\'e Paul Sabatier, Toulouse, France, 2002, p. 178-188.
21. Чагров А.В., Чагрова Л.А. О семантике Крипке со взрывающимися мирами для базисной логики. Смирновские чтения. 4 международная конференция. М.: ИФ РАН, 2003. c. 53-54.
22. Чагров А.В. О расширениях «суперинтуиционистской» логики доказуемости формулами от одной переменной. Смирновские чтения. 4 международная конференция. М.: ИФ РАН, 2003. c. 51-53.
23. Рыбаков М.Н., Чагров А.В. О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных. Тезисы докладов Международной конференции «Колмогоров и современная математика», Москва, 16-21 июня 2003. М., МГУ, 2003. С. 707-708.
24. Chagrov A.V., Rybakov M.N. How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. Advances in Modal Logic, V. 4. London, King's College Publications, 2003. P. 71-82.
25. Чагров А.В. Финитарное семантическое следование для базисной и формальной логик А.Виссера: алгоритмический аспект. Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции. Спб, 2004. С. 542-543.
26. Чагров А.В. Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера. Логические исследования. Вып. 11. М., Наука, 2004. С. 282-289.
27. Чагров А.В., Чагрова Л.А. Алгоритмическая проблема модальной определимости формул первого порядка с ограничениями на число переменных в модальных пропозициональных формулах. Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции. Спб, 2004. С. 544-546.
28. Чагров А.В., Чагрова Л.А. Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А.Виссера. Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVII. – М., 2004. С. 94-102.