Размер шрифта Цветовая схема Изображения

Математический факультет

Тверской государственный университет

Employee show

Чагрова Лидия Алексеевна

Доцент кафедры функционального анализа и геометрии

кандидат физико-математических наук, доцент
Образование: КГУ
Телефон: +7(4822) 58-53-43 (доб. 114)

Список основных публикаций

  1. Chagrova L.A. An undecidable problem in correspondence theory// Journal of Symbolic Logic. 1991. Т. 56. С. 1261.
  2. Chagrov A.V., Chagrova L.A. Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames// Studia Logica. 1995. Т. 55. № 3. С. 421-448.
  3. Чагрова Л.А. Алгоритмическая проблема окрестностной полноты нормальных модальных логик. Смир-новские чтения. 2 международная конференция. М. ИФРАН. 1999. С. 76-78.
  4. Чагрова Л.А. Погружения интуиционистской логики предикатов в альтернирующий вариант динами-ческой логики первого порядка // Современная логика: проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции. Санкт-Петербург. 2000.
  5. A.Chagrov, L.Chagrova. The Truth About Algorithmic Theory // Advances in Modal Logic. 2006. P. 11-12.
  6. Чагров А.В., Чагрова Л.А. Крах алгоритмической проблематики теории соответствия? // Логические исследования. Москва, 2007. Вып. 13. С. 248-272.
  7. А.В.Чагров, Л.А.Чагрова Алгоритмические проблемы окрестностной полноты нормальных модальных логик // Шестые Смирновские чтения по логике. Москва, 2009. С. 39-41.