Чагрова Лидия Алексеевна
Должность: Доцент кафедры функционального анализа и геометрии
Академический ранг: кандидат физико-математических наук, доцент
Образование: КГУ
Телефон: +7(4822) 58-53-43 (доб. 114)
Email: Chagrova.LA@tversu.ru
Список основных публикаций
- Chagrova L.A. An undecidable problem in correspondence theory// Journal of Symbolic Logic. 1991. Т. 56. С. 1261.
- 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.
- Чагрова Л.А. Алгоритмическая проблема окрестностной полноты нормальных модальных логик. Смир-новские чтения. 2 международная конференция. М. ИФРАН. 1999. С. 76-78.
- Чагрова Л.А. Погружения интуиционистской логики предикатов в альтернирующий вариант динами-ческой логики первого порядка // Современная логика: проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции. Санкт-Петербург. 2000.
- A.Chagrov, L.Chagrova. The Truth About Algorithmic Theory // Advances in Modal Logic. 2006. P. 11-12.
- Чагров А.В., Чагрова Л.А. Крах алгоритмической проблематики теории соответствия? // Логические исследования. Москва, 2007. Вып. 13. С. 248-272.
- А.В.Чагров, Л.А.Чагрова Алгоритмические проблемы окрестностной полноты нормальных модальных логик // Шестые Смирновские чтения по логике. Москва, 2009. С. 39-41.
Поделиться: