Шехтман Валентин Борисович
- Профессор:Факультет математики / Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН
- Начал работать в НИУ ВШЭ в 2010 году.
- Научно-педагогический стаж: 45 лет.
Образование, учёные степени
- 2000Доктор физико-математических наук: специальность 01.01.06 «Математическая логика, алгебра и теория чисел»
- 1975
Специалитет: Московский государственный педагогический институт им. В.И. Ленина, факультет: математический, специальность «Математика», квалификация «Учитель математики и звание учителя средней школы»
- Кандидат наук: специальность 01.01.06 «Математическая логика, алгебра и теория чисел»
- Аспирантура: Московский государственный университет им. М.В. Ломоносова, факультет: механико-математический
Научные интересы
Математическая логика (неклассические логики) и приложения к универсальной алгебре, топологии и информатике
Достижения и поощрения
Надбавка за публикацию в международном рецензируемом научном издании (2017-2019)
Надбавка за статью в зарубежном рецензируемом журнале (2015-2017)
Учебные курсы (2023/2024 уч. год)
- Введение в теорию моделей (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Научно-исследовательский семинар "Категории и универсальная алгебра" (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Множества и модели" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Математика. Лиценциат (Бакалавриат; где читается: Факультет математики; 4-й курс, 1 модуль)Рус
- Научно-исследовательский семинар "Введение в теорию моделей" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Категории и универсальная алгебра" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2018/2019 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 4 модуль)Рус
- Математический практикум (Бакалавриат; где читается: Факультет математики; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Введение в теорию моделей" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2017/2018 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 4 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 1-й курс, 1, 2 модуль)Рус
- Математический практикум (Бакалавриат; где читается: Факультет математики; 1-й курс, 1-4 модуль)Рус
- Математический практикум 2 (Бакалавриат; где читается: Факультет математики; 2-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Категории и универсальная алгебра" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Участие в редколлегиях научных журналов
С 2012 г.: член редколлегии журнала «Logic Journal of the IGPL».
Участие в конференциях
1. Advances in Modal Logic - Moscow, 2010. Program Chair.
2. Workshop on Logic and Computation - Wienna, Austria, 2009. Invited speaker.
3. Logical Models of Reasoning and Computation-2 - Utrecht, 2008. Invited speaker.
4. Advances in Modal Logic (AiML-2012). 22-25 August 2012, Technical University of Denmark, Copenhagen. “On Modal Logics of Hamming Spaces” (совм. с А.В. Кудиновым и И.Б. Шапировским)
5. International Workshop on Topological Methods in Logic (TOLO-III). July 23—27, 2012, Razmadze Mathematical Institute, Tbilisi, Georgia. “Derivational modal logics with the difference modality” (invited speaker)
7. Topology, Algebra and Categories in Logic (TACL- 2011). Marseille, France, July 26-30, 2011. “Hybrid products of modal logics”.
8. Non-classical modal and predicate logics (NCMPL2011). Guangzhou, China, December 5-9,2011. "Equality in modal predicate logics" (invited speaker).
9. Московские чтения по конструктивной логике и представлению знаний. Май 2012, Москва "О квадратах модальных логик с дополнительными связками"
10. Logical Models of Reasoning and Computation-1 - Moscow, 2008. Invited speaker.
11. 31st European Summer School in Logic, Language and Information (ESSLLI). August 5-16, 2019. Riga, Latvia. "Bisimulation and filtration in modal logic" (with I. Shapirovsky). Lecturer.
12. International Workshop on Topological Methods in Logic (TOLO-VI). July 2—6, 2018, Ilia State University, Tbilisi, Georgia. “On simplicial semantics of modal predicate logics” (invited speaker).
13. Logical Perspectives 2018. (14–18 мая 2018 г., Международный математический институт им. Леонарда Эйлера, Санкт-Петербург."Modal logic meets simplicial sets"(invited speaker).
14. Advances in Modal Logic 2018. August 27-31, 2018, Bern, Switzerland. "On Kripke completeness of some modal predicate logics with the density axiom".
15. Advances in Modal Logic 2020. August 24-28, 2020, Helsinki, Finland. "Some prospects for semiproducts and products of modal logics" (with D. Shkatov).
16. Workshop "Proof theory in logic" (part of conference WOLLIC 2019). July 1-2, 2019. Utrecht, The Netherlands. "Logics of finite depth: problems and results" (invited speaker).
17. Topology, Algebra and Categories in Logic (TACL- 2019). June 17-21, 2019. NIce, France. “Simplicial semantics and one-variable fragments of modal predicate logics”.
18. Syntax Meets Semantics 2019 (SYSMICS). 21-25 January 2019, Amsterdam, The Netherlands. "On one-variable fragments of modal predicate logics" (with D. Shkatov).
19. Workshop on Proof Theory, Modal Logic and Reflection Principles (WORMSHOP 2019). November 5-8, 2019, Barcelona, Spain. "Interpreting modal logics in classical first-order theories".
Публикации30
- Статья Shehtman V. B. On Kripke completeness of modal predicate logics around quantified K5 // Annals of Pure and Applied Logic. 2023. Vol. 174. No. 2. Article 103202. doi
- Глава книги Shehtman V. B. On Kripke completeness of some modal predicate logics with the density axiom, in: Advances in Modal Logic Vol. 12. College Publications, 2018. P. 559-575.
- Глава книги Shehtman V. B. Segerberg squares of modal logics and theories of relation algebras, in: Larisa Maksimova on Implication, Interpolation, and Definability. Cham : Springer, 2018. doi P. 245-296. doi
- Глава книги Шехтман В. Б., Шапировский И. Современная модальная логика: между математикой и информатикой // В кн.: Современная логика: основания, предмет и перспективы развития / Под общ. ред.: Д. В. Зайцев. М. : ИД "Форум", 2018. С. 265-305.
- Глава книги Shehtman V. B., Shapirovsky I. Local tabularity without transitivity, in: Advances in Modal Logic / Ed. by L. D. Beklemishev, S. Demri, A. Mate. Vol. 11. L. : College Publications, 2016. P. 520-534.
- Статья Шехтман В. Б. Бисимуляционные игры и локально табличные логики // Успехи математических наук. 2016. Т. 71. № 5. С. 185-186. doi
- Глава книги Shehtman V. B. Canonical filtrations and local tabularity, in: Advances in Modal Logic, Volume 10. College Publications, 2014. P. 498-512.
- Глава книги Kudinov A., Shehtman V. B. Derivational Modal Logics with the Difference Modality, in: Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 2014. P. 291-334.
- Глава книги Kudinov A., Shehtman V. B. Derivational modal logics with the difference modality, in: Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 2014. Ch. 11. P. 291-334.
- Статья Gabbay D., Shapirovsky I., Shehtman V. B. Products of modal logics and tensor products of modal algebras // Journal of Applied Logic. 2014. Vol. 12. No. 4. P. 570-583. doi
- Глава книги Kudinov A., Shehtman V. B., Shapirovsky I. On modal logics of Hamming spaces, in: Advances in Modal Logic Issue 9. L. : College Publications, 2012. P. 395-410.
- Статья Shehtman V. B. Squares of modal logics with additional connectives // Russian Mathematical Surveys. 2012. Vol. 67. No. 4. P. 721-777. doi
- Книга Advances in Modal Logic 2010, Extended Abstracts / Ed. by L. D. Beklemishev, V. Goranko, V. B. Shehtman. Vol. 8. L. : College Publications, 2010.
- Книга Shehtman V. B., Skvortsov D., Gabbay D. Quantification in Nonclassical Logic Vol. 1. Amsterdam : Elsevier, 2009.
- Книга Теория моделей и алгебраическая геометрия. Сборник статей под редакцией Э.Бускаран / Под общ. ред.: И. В. Артамкин, В. Б. Шехтман. М. : МЦНМО, 2008.
- Статья Shehtman V. B. Completeness and incompleteness in first-order modal logic: an overview // Advanced in Modal Logic. 2006. Vol. 6. P. 27-30.
- Статья Balbiani P., Shapirovsky I., Shehtman V. B. Every world can see a Sahlqvist world // Advanced in Modal Logic. 2006. Vol. 6. P. 69-85.
- Статья Shehtman V. B., Shapirovsky I. Modal logics of regions and Minkowski spacetime // Journal of Logic and Computation. 2005. Vol. 15. No. 5. P. 559-574.
- Статья Shehtman V. B. On neighbourhood semantics thirty years later // College Publications. 2005. Vol. 2. P. 663-692.
- Статья Gabbay D., Shehtman V. B. Products of modal logics, part 3: Products of modal and temporal logics . // Studia Logica. 2000. No. 72(2). P. 157-183.
- Статья Shehtman V. B. “Everywhere” and “Here”. // Journal of Applied Mathematics and Mechanics. 1999. Vol. 9. No. 2/3. P. 369-380.
- Статья Shehtman V. B., Chagrov A. Algorithmic aspects of propositional tense logics. // Lecture Notes in Computer Science. 1995. Vol. 933. P. 442-455.
- Статья Shehtman V. B., Skvortsov D. Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. // Annals of Pure and Applied Logic. 1993. Vol. 63. No. 1. P. 69-101.
- Статья Gabbay D., Shehtman V. B. Undecidability of modal and intermediate first-order logics with two individual variables. // Journal of Symbolic Logic. 1993. Vol. 58. No. 3. P. 800-823.
- Статья Шехтман В. Б. Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. // Studia Logica. 1990. Т. 49. № 3. С. 83-103.
- Статья Шехтман В. Б., Скворцов Д. Logics of some Kripke frames connected with Medvedev notion of informational types. // Studia Logica. 1986. Т. 45. С. 101-118.
- Статья Шехтман В. Б. Modal logics of domains on the real plane. // Studia Logica. 1983. Т. 42. № 1. С. 63-80.
- Статья Шехтман В. Б. Семантика модальных утверждений. // Семиотика и информатика. 1981. Т. 17. С. 148-169.
- Статья Шехтман В. Б. Топологические модели пропозициональных логик. // Семиотика и информатика. 1980. Т. 15. С. 74-98.
- Статья Шехтман В. Б. Двумерные модальные логики. // Математические заметки. 1978. Т. 23. № 5. С. 759-772.
Информация*
- Общий стаж: 47 лет
- Научно-педагогический стаж: 45 лет
- Преподавательский стаж: 16 лет
Текущие исследовательские гранты
РФФИ: 08-01-00399-а (исполнитель), 10-01-06022-г (руководитель), 11-01-00958-а (руководитель проекта)
Грант Президента РФ НШ-845.2008.1 (исполнитель)
2010 грант РФФИ № 09-01-12170-офи_м, проект "Фундаментальные задачи алгебраической геометрии иматематической логики и их приложения к теории передачи информации" (участник проекта)
11-01-93107-НЦНИЛ_а (руководитель проекта)