|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Шехтман Валентин Борисович пользователь
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, профессор, с 20 марта 1995, по совместительству
доктор физико-математических наук с 2000 года
доцент/с.н.с. по специальности № математика с 14 мая 2001 г.
Соавторы: Шапировский И.Б., Скворцов Д.П., Gabbay D., Воронцова М.И., Кудинов А.В., Максимова Л.Л., Balbiani P., Чагров А.В., Шкатов Д.П.
55 статей, 1 книга, 34 доклада на конференциях, 5 тезисов докладов, 7 НИР, 1 членство в редколлегии журнала, 1 членство в редколлегии сборника, 1 членство в программном комитете, 6 диссертаций, 26 дипломных работ, 8 учебных курсов
Количество цитирований статей в журналах по данным
Web of Science: 67,
Scopus: 182
РИНЦ:
IstinaResearcherID (IRID): 8017817
ResearcherID: N-2056-2016
Scopus Author ID: 16470280300
ORCID: 0000-0001-7875-7765
Деятельность
-
Статьи в журналах
-
- 2016 Bisimulation games and locally tabular logics
- Shehtman V.B.
- в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 71, № 5, с. 979-981 DOI
-
- 2016 Бисимуляционные игры и локально табличные логики
- Шехтман Валентин Борисович
- в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 71, № 5, с. 185-186 DOI
-
- 2014 Products of modal logics and tensor products of modal algebras
- Gabbay Dov M., Shapirovsky Ilya, Shehtman Valentin
- в журнале Journal of Applied Logic, издательство Elsevier BV (Netherlands), том 12, № 4, с. 570-583 DOI
-
- 2012 Squares of Modal Logics with Additional Connectives
- Shehtman Valentin
- в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 67, № 4, с. 721-777 DOI
-
- 2012 Квадраты модальных логик с дополнительными связками
- Шехтман Валентин Борисович
- в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 67, № 4, с. 129-186 DOI
-
- 2011 On squares of modal logics with additional connectives
- Shehtman Valentin
- в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 274, № 1, с. 317-325 DOI
-
- 2011 О квадратах модальных логик с дополнительными связками
- Шехтман Валентин Борисович
- в журнале Труды Математического института им.В.А.Стеклова РАН, издательство МИАН (Москва), том 274, с. 343-351
-
- 2005 Modal Logics of Regions and Minkowski Spacetime
- Shapirovsky Ilya, Shehtman Valentin
- в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 15, № 4, с. 559-574 DOI
-
- 2002 Products of Modal Logics. Part 3: Products of Modal and Temporal Logics
- Gabbay Dov M., Shehtman Valentin
- в журнале Studia Logica, издательство Springer Nature (Switzerland), том 72, № 2, с. 157-183 DOI
-
- 2000 Products of modal logics. Part 2: Relativised quantifiers in classical logic
- Gabbay Dov M., Shehtman Valentin
- в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 8, № 2, с. 165-210 DOI
-
- 1999 "Everywhere" and "Here"
- Shehtman Valentin
- в журнале Journal of Applied Non-classical logics, том 9, № 2-3, с. 369-379 DOI
-
- 1998 Products of Modal Logics, Part 1
- Gabbay Dov M., Shehtman Valentin
- в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 6, № 1, с. 73-146 DOI
-
- 1993 Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics
- Skvortsov Dmitrij, Shehtman Valentin
- в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 63, № 1, с. 69-101 DOI
-
- 1993 Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables
- Gabbay Dov M., Shehtman Valentin
- в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 58, № 3, с. 800-823 DOI
-
- 1990 Modal Counterparts of Medvedev Logic of Finite Problems are not Finitely Axiomatizable
- Shehtman Valentin
- в журнале Studia Logica, издательство Springer Nature (Switzerland), том 49, № 3, с. 365-385 DOI
-
- 1986 Logics of Some Kripke Frames Connected with Medvedev Notion of Informational Types
- Shehtman Valentin, Skvortsov Dmitrij
- в журнале Studia Logica, издательство Springer Nature (Switzerland), том 45, № 1, с. 101-118 DOI
-
- 1983 Modal Logics of Domains on the Real Plane
- Shehtman Valentin
- в журнале Studia Logica, издательство Springer Nature (Switzerland), том 42, № 1, с. 63-80 DOI
-
- 1981 Семантика модальных утверждений
- Шехтман Валентин Борисович
- в журнале Семиотика и информатика, том 17, с. 148-169
-
- 1980 Топологические модели пропозициональных логик
- Шехтман Валентин Борисович
- в журнале Семиотика и информатика, том 15, с. 74-98
-
- 1979 The Impossibility of a Finite Axiomatization of Medvedev’s Logic of Finitary Problems
- Maksimova Larisa, Shehtman Valentin, Skvortsov Dmitrij
- в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 20, с. 394-398
-
- 1979 Невозможность конечной аксиоматизации логики финитных задач Медведева
- Максимова Лариса Львовна, Скворцов Дмитрий Павлович, Шехтман Валентин Борисович
- в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 245, № 5, с. 1051-1054
-
- 1978 An Undecidable Superintuitionistic Propositional Calculus
- Shehtman Valentin
- в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 19, с. 656-660
-
- 1978 Rieger–Nishimura Lattices
- Shehtman Valentin
- в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 19, с. 1014-1018
-
- 1978 Two-dimensional modal logic
- Shehtman Valentin
- в журнале Mathematical notes of the Academy of Sciences of the USSR, том 23, № 5, с. 417-424 DOI
-
- 1978 Двумерные модальные логики
- Шехтман Валентин Борисович
- в журнале Математические заметки, издательство МИАН (Москва), том 23, № 5, с. 759-772
-
- 1978 Лестницы Ригера–Нишимуры
- Шехтман Валентин Борисович
- в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 241, № 6, с. 1288-1291
-
- 1978 Неразрешимое суперинтуиционистское исчисление высказываний
- Шехтман Валентин Борисович
- в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 240, № 3, с. 549-552
-
- 1977 On Incomplete Propositional Logics
- Shehtman Valentin
- в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 18, с. 985-989
-
- 1977 О неполных логиках высказываний
- Шехтман Валентин Борисович
- в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 235, № 3, с. 542-545
-
-
Статьи в сборниках
-
- 2020 Some prospects for semiproducts and products of modal logics (short paper)
- Shehtman Valentin, Shkatov Dmitry
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 107-111
-
- 2018 On Kripke completeness of some modal predicate logics with the density axiom
- Shehtman V.
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 12, с. 559-576
-
- 2018 Segerberg squares of modal logics and theories of relation algebras
- Shehtman Valentin
- в сборнике Larisa Maksimova on Implication, Interpolation, and Definability, серия Outstanding Contributions to Logic, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), том 15, с. 245-296 DOI
- редактор Одинцов Сергей Павлович
-
- 2018 Современная модальная логика: между математикой и информатикой
- Шапировский И.Б., Шехтман В.Б.
- в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 265-305
-
- 2016 Local tabularity without transitivity
- Shapirovsky I., Shehtman V.
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 11, с. 520-534
- редактор Беклемишев Лев Дмитриевич
-
- 2014 Canonical filtrations and local tabularity
- Shehtman V.
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publication London, том 10, с. 498-512
-
- 2014 Derivational modal logics with the difference modality
- Kudinov Andrey, Shehtman Valentin
- в сборнике Leo Esakia on Duality in Modal and Intuitionistic Logics, серия Outstanding Contributions to Logic, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), том 4, с. 10-291 DOI
-
- 2012 On Modal Logics of Hamming Spaces
- Kudinov Andrey, Shapirovsky Ilya, Shehtman Valentin
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 9, с. 395-410
-
- 2006 Completeness and Incompleteness in First-Order Modal Logic: An Overview
- Shehtman Valentin
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 27-30
-
- 2006 Every World Can See a Sahlqvist World
- Balbiani Philippe, Shapirovsky Ilya, Shehtman Valentin
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 69-85
-
- 2005 On Neighbourhood Semantics 30 Years Later
- Shehtman Valentin
- в сборнике We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, место издания College Publications, с. 663-692
-
- 2004 Filtration via Bisimulation
- Shehtman Valentin
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания King’s College Publications London, том 5, с. 289-308
-
- 2004 О «логике» неологии
- Воронцова М.И., Шехтман В.Б.
- в сборнике Компьютерная лингвистика и интеллектуальные технологии: Труды международной конференции «Диалог’2004», место издания Наука Москва, том 1, с. 116-120
-
- 2002 Chronological Future Modality in Minkowski Spacetime
- Shapirovsky Ilya, Shehtman Valentin
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания King's College Publications London, том 4, с. 437-460
-
- 2002 Принцип Оккама, возможные миры и машинный перевод
- Воронцова М.И., Шехтман В.Б.
- в сборнике Труды Международного семинара «Диалог 2002», место издания Наука Москва, том 1, с. 59-62
-
- 2001 Имена и дескрипции
- Воронцова М.И., Шехтман В.Б.
- в сборнике Труды Международного семинара «Диалог 2001», место издания Наука Москва, том 1, с. 251-253
-
- 2000 Об использовании экстралингвистических соображений в лингвистических описаниях
- Воронцова М.И., Шехтман В.Б.
- в сборнике Труды Международного семинара «Диалог 2000», место издания Наука Москва, том 1, с. 229-231
-
- 1999 On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part II)
- Shehtman Valentin
- в сборнике JFAK. Essays dedicated to Johan Van Benthem on the occasion of his 50th birthday (CD-ROM), место издания Amsterdam University Press Amsterdam, Netherlands, с. 11 pages
-
- 1998 On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part I)
- Shehtman Valentin
- в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания CSLI Publications Stanford, USA, том 1, с. 209-222
-
- 1995 Algorithmic aspects of propositional tense logics
- Chagrov Alexander, Shehtman Valentin
- в сборнике Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, серия Lecture Notes in Computer Science, место издания Springer, том 933, с. 442-455 DOI
-
- 1993 A Logic with Progressive Tenses
- Shehtman Valentin
- в сборнике Diamonds and Defaults: Studies in Pure and Applied Intensional Logic, серия Synthese Library, место издания Springer, том 229, с. 255-285
-
- 1990 Derived sets in Euclidean spaces and modal logic
- Shehtman Valentin
- в сборнике ITLI Prepublication Series, серия X-90-05, место издания University of Amsterdam Amsterdam, Netherlands
-
- 1990 Semantics of Non-Classical First Order Predicate Logics
- Shehtman Valentin, Skvortsov Dmitrij
- в сборнике Mathematical Logic. Proceedings of Summer School and Conference on Mathematical Logic held on September 13-23, 1990 in Chaika, Bulgaria, место издания Springer, с. 105-116 DOI
-
- 1983 О счетной аппроксимируемости суперинтуиционистских и модальных логик
- Шехтман Валентин Борисович
- в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 287-299
-
- 1982 Неразрешимые исчисления высказываний
- Шехтман Валентин Борисович
- в сборнике Неклассические логики и их применение, серия Вопросы кибернетики, место издания Научный совет АН СССР по комплексной проблеме «Кибернетика», том 75, с. 74-116
-
- 1979 Семантика типа Крипке пропозициональных модальных логик с интуиционистской основой
- Шехтман Валентин Борисович
- в сборнике Модальные и временные логики, место издания ИФ АН СССР Москва, с. 108-112
-
-
Книги
- 2009 Quantification in Nonclassical Logic, Volume 1
- Gabbay Dov M., Skvortsov Dmitrij, Shehtman Valentin
- издательство ELSEVIER SCIENCE BV (PO BOX 211, AMSTERDAM, NETHERLANDS, 1000 AE) , ISBN 9780444520128, 640 с.
-
Доклады на конференциях
-
- 2023 Развитие идей Колмогорова об интерпретации интуиционистской логики (Пленарный)
- Авторы: Оноприенко А.А., Шехтман В.Б.
- Международная научная конференция "Колмогоров-120", МГУ, Россия, 25-27 апреля 2023
-
- 2022 Completeness problem in first-order modal logic (Устный)
- Автор: Шехтман В.Б.
- Мальцевские чтения 2022, Новосибирск, Россия, 14-18 ноября 2022
-
- 2022 How to axiomatize boxing for a modal predicate logic? (Устный)
- Автор: Шехтман В.Б.
- 2-я конференция Математических центров России, Москва, Россия, 7-11 ноября 2022
-
- 2022 Some new examples of Kripke complete modal predicate logics (Устный)
- Автор: Шехтман В.Б.
- Advances in Modal Logic (AiML 2022), Ренн, Франция, 22-25 августа 2022
-
- 2022 О полноте модальных логик предикатов (Устный)
- Автор: Шехтман В.Б.
- Ломоносовские чтения - 2022, МГУ, Россия, 18-20 апреля 2022
-
- 2021 О полноте модальных предикатных логик в семантике Крипке (Устный)
- Автор: Шехтман В.Б.
- Математические основы информатики и информационно-коммуникационных систем., Тверь., Россия, 3-8 декабря 2021
-
- 2021 Boxing modal logics (Устный)
- Автор: Шехтман В.Б.
- Logical Perspectives 2021: Summer School and Workshop, Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Россия, 14-19 июня 2021
-
- 2021 Добавление необходимости к модальным логикам (Устный)
- Автор: Шехтман В.Б.
- ЛОМОНОСОВСКИЕ ЧТЕНИЯ - 2021 секция «Геология», Москва, Россия, 23-30 апреля 2021
-
- 2020 О модальных логиках деревьев (Устный)
- Автор: Шехтман Валентин Борисович
- Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
-
- 2020 Some prospects for semiproducts and products of modal logics (Устный)
- Авторы: Shehtman Valentin, Shkatov Dmitry
- Advances in Modal Logic (AiML 2020), Helsinki, Финляндия, 24-28 августа 2020
-
- 2019 Interpreting modal logics in classical first-order theories (Устный)
- Автор: Valentin Shehtman
- Wormshop 2019 (The 5th Workshop on Proof Theory, Modal Logic and Reflection Principles), Barcelona, Spain, Испания, 5-8 ноября 2019
-
- 2019 Bisimulation and filtration in modal logic (Устный)
- Авторы: Valentin Shehtman, Ilya Shapirovsky
- 31st European Summer School in Logic, Language and Information, Рига, Латвия, 5-16 августа 2019
-
- 2019 Logics of finite depth: problems and results (Устный)
- Автор: Valentin Shehtman
- 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Утрехт, Нидерланды, 2-5 июля 2019
-
- 2019 Simplicial semantics and one-variable fragments of modal predicate logics (Устный)
- Автор: Valentin Shehtman
- Topology, Algebra, and Categories in Logic 2019, Ницца, Франция, 17-21 июня 2019
-
- 2019 О фрагментах модальных логик предикатов с одной переменной (Устный)
- Автор: Шехтман Валентин Борисович
- «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
-
- 2019 On one-variable fragments of modal predicate logics (Устный)
- Авторы: Shkatov Dmitry, Shehtman Valentin
- Syntax Meets Semantics 2019, Амстердам, Нидерланды, 21-25 января 2019
-
- 2018 Modal logic meets simplicial sets (Устный)
- Автор: Шехтман В.Б.
- Logical Perspectives 2018, Петербург, Россия, 14-18 мая 2018
-
- 2017 Simplicial semantics of modal predicate logics (Устный)
- Автор: Shehtman Valentin
- Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles), Steklov Mathematical Institute, Moscow, Russia, Россия, 17-20 октября 2017
-
- 2017 Modal predicate logics: questions and answers (Пленарный)
- Автор: Шехтман В.Б.
- Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
-
- 2017 О полноте некоторых предикатных модальных логик (Устный)
- Автор: Шехтман Валентин Борисович
- Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
-
- 2016 Бисимуляционные игры и неклассические логики (Устный)
- Автор: Шехтман Валентин Борисович
- Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
-
- 2015 Squares of modal logics and relation algebras (Приглашенный)
- Автор: Shehtman Valentin
- Logic, Relativity and Beyond, Будапешт, Венгрия, 9-13 августа 2015
-
- 2014 Squares of modal logics and relation algebras (Устный)
- Автор: Shehtman Valentin
- International Workshop on Topological Methods in Logic IV (ToLo4), Tbilisi, Грузия, 23-27 июня 2014
-
- 2014 Интуиционистские модели с равенством (Устный)
- Автор: Шехтман Валентин Борисович
- Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014
-
- 2013 Клетчатые произведения модальных логик (Устный)
- Авторы: Шапировский Илья Борисович, Шехтман Валентин Борисович
- Ломоносовские чтения - 2013. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 15-26 апреля 2013
-
- 2011 Квадраты модальных логик с дополнительными связками (Устный)
- Автор: Шехтман Валентин Борисович
- Ломоносовские чтения - 2011. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 7-15 апреля 2011
-
- 2010 Новые результаты о произведениях модальных логик (Устный)
- Автор: Шехтман Валентин Борисович
- Ломоносовские чтения - 2010. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 16-22 апреля 2010
-
- 2004 О «логике» неологии (Устный)
- Авторы: Шехтман В.Б., Воронцова М.И.
- Международная конференция по компьютерной лингвистике и интеллектуальным технологиям Диалог'2004, Верхневолжский, Тверская обл., Россия, Россия, 2-7 июня 2004
-
- 2004 О финитной аппроксимируемости произведений модальных логик (Устный)
- Автор: Шехтман Валентин Борисович
- Ломоносовские чтения - 2004. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 19-26 апреля 2004
-
- 2003 О модальных логиках пространства Минковского (Устный)
- Авторы: Шапировский И.Б., Шехтман В.Б.
- Ломоносовские чтения - 2003. Секция математики, МГУ им. М.В. Ломоносова, механико-математический факультет, Россия, 18-25 апреля 2003
-
- 2002 Принцип Оккама, возможные миры и машинный перевод (Устный)
- Авторы: Воронцова М.И., Шехтман В.Б.
- Mеждународный семинар Диалог'2002 по компьютерной лингвистике и ее приложениям, Протвино, 2002
-
- 2021 New results on Kripke completeness and incompleteness in modal predicate logic (Устный)
- Автор: Шехтман В.Б.
- Non-Classical Modal and Predicate Logics 2021, Бохум, Германия, 23 ноября 2002 - 26 ноября 2021
-
- 2001 Имена и дескрипции (Устный)
- Авторы: Шехтман В.Б., Воронцова М.И.
- Mеждународный семинар Диалог'2001 по компьютерной лингвистике и ее приложениям, Аксаково, 2001
-
- 2000 Об использовании экстралингвистических соображений в лингвистических описаниях (Устный)
- Авторы: Шехтман В.Б., Воронцова М.И.
- Mеждународный семинар Диалог'2000 по компьютерной лингвистике и ее приложениям, Протвино , Россия, 2000
-
-
Тезисы докладов
-
-
-
- 2017 On some modal logics related to K5
- Shehtman V.B.
- в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 58-60
- редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
-
- 2013 Tensor Products of Modal Logics
- Shapirovsky Ilya, Shehtman Valentin
- в сборнике 6th International Conference on Topology, Algebra and Categories in Logic (TACL 2013), серия TACL, тезисы, с. 199-203
-
- 1987 On Some Two-Dimensional Modal Logics
- Shehtman Valentin
- в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 8th International Congress (Moscow 1987), серия ICLMPS, издательство ELSEVIER INC (525 B STREET, STE 1900, SAN DIEGO, USA, CA,92101-4495), том 4, тезисы, с. 326-330
-
-
НИРы
-
- 1 января 2021 - 31 декабря 2025 Алгоритмические и семантические вопросы математической логики. 2021-2025
- Кафедра математической логики и теории алгоритмов
- Руководитель: Семенов А.Л. Ответственные исполнители: Золин Е.Е., Оноприенко А.А., Пентус М.Р. Участники НИР: Беклемишев Л.Д., Белов А.Я., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
-
- 1 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
- Кафедра математической логики и теории алгоритмов
- Руководители: Семенов А.Л., Успенский В.А. Ответственные исполнители: Золин Е.Е., Пентус М.Р. Участники НИР: Адян С.И., Беклемишев Л.Д., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Семенов А.Л., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
-
- 1 января 2016 - 31 декабря 2018 Теоретико-модельные и алгоритмические проблемы в модальных и алгебраических логиках
- Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
- Руководитель: Шехтман В.Б. Участники НИР: Владимиров А.Г., Золин Е.Е., Кудинов А.В., Осипов И.И., Пентус М.Р., Савельев Д.И., Скворцов Д.П., Чижов А.С., Шапировский И.Б.
-
- 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
-
- 1 января 2011 - 31 декабря 2015 Алгоритмические и семантические вопросы математической логики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Беклемишев Л.Д., Верещагин Н.К., Золин Е.Е., Кузнецов С.Л., Плиско В.Е., Сорокин А.А., Шехтман В.Б.
-
- 1 января 2011 - 31 декабря 2013 Исследование разрешимых фрагментов модальных и алгебраических логик
- Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
- Руководитель: Шехтман В.Б. Участники НИР: Золин Е.Е., Измайлов М.М., Кикоть С.П., Кудинов А.В., Осипов И.И., Пентус М.Р., Сорокин А.А., Чижов А.С., Шапировский И.Б.
-
- 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шамканов Д.С., Шехтман В.Б., Яворская Т.Л.
-
-
Участие в редколлегии журналов
-
- с 10 июня 2005 Journal of Applied Non-classical logics
-
-
Участие в редколлегии сборников
- 2010 Advances in Modal Logic
- члены редколлегии: Беклемишев Л.Д., Шехтман В.Б., Goranko V.
- серия Advances in Modal Logic, том 8
- место издания College Publications London
-
Участие в программных комитетах конференций
-
- 2014 Advances in Modal Logic (AiML 2014)
- Член программного комитета
- Gronningen, the Netherlands
-
-
Руководство диссертациями
-
- 2010 О модальных логиках элементарных классов шкал Крипке
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Кикоть Станислав Павлович
- Научный руководитель: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
- Ведущая организация: Математический институт им. В.А.Стеклова РАН
- Оппоненты: Максимова Лариса Львовна, Рыбаков Михаил Николаевич
-
- 2008 Топологические модальные логики с модальностью неравенства
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Кудинов Андрей Валерьевич, к.ф.-м.н.
- Научный руководитель: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
- Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
- Оппоненты: Чагров Александр Васильевич, Яворский Ростислав Эдуардович
-
- 2007 Алгоритмические свойства модальных логик информационных систем
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Шапировский Илья Борисович
- Научный руководитель: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: Институт проблем передачи информации им. А.А.Харкевича РАН
- Ведущая организация: Математический институт им. В.А.Стеклова РАН
- Оппоненты: Пентус Мати Рейнович, Рыбаков Михаил Николаевич
-
- 2006 О некоторых классах многомерных модальных логик
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Кравцов Алексей Геннадиевич
- Научный руководитель: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
- Ведущая организация: Математический институт им. В.А.Стеклова РАН
- Оппоненты: Чагров Александр Васильевич, Мучник Андрей Альбертович
-
-
Диссертации
-
- 2000 Модальные логики топологических пространств
- Докторская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете Д 053.05.05 при МГУ имени М.В. Ломоносова
- Организация, в которой выполнялась работа: Институт проблем передачи информации РАН
- Ведущая организация: Институт математики Сибирского отделения РАН
- Оппоненты: Захарьящев Михаил Викторович, Пономарев Владимир Иванович, Чагров Александр Васильевич
-
- 1985 Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Научный руководитель: Марков Андрей Андреевич
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
- Ведущая организация: Ленинградское отделение Математического института им. В.А.Стеклова АН СССР
-
-
Руководство дипломными работами
-
- 2015 Исследование полноты некоторых пропозициональных динамических логик
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Логачёва Елизавета Михайловна (Специалист)
-
- 2014 Финитная аппроксимируемость некоторых модальных логик, аксиоматизируемых псевдо-транзитивными формулами
- Научные руководители: Шапировский Илья Борисович, Шехтман Валентин Борисович
- Автор: Заплетин Андрей Максимович (Специалист)
-
- 2014 Алгоритм проверки выполнимости модальных формул на порядковых суммах шкал Крипке
- Научные руководители: Шехтман Валентин Борисович, Шапировский Илья Борисович
- Автор: Журавлёв Александр Алексеевич (Специалист)
-
- 2013 О пространственно-временных модальных логиках с конечными временными шкалами
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Матвеева Екатерина Сергеевна (Специалист)
-
- 2013 О модальной логике произведения рационального линейного порядка и счетного сгустка
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Матузенко Виктор Сергеевич (Специалист)
-
- 2013 Модальные и гибридные логики топологических пространств
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Петрова Екатерина Владимировна (Специалист)
-
- 2013 Временные гибридные логики с модальностями «вчера» и «завтра»
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Вахрушева Полина Викторовна (Специалист)
-
- 2012 Теоремы определимости в модальных логиках
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Маслов Николай Александрович (Специалист)
-
- 2012 Бисимуляции в модальных логиках
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Осипов Илья Игоревич (Специалист)
-
- 2011 О числе расширений для соединений модальных логик, содержащих S4
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Измайлов Максим Марселевич (Специалист)
-
- 2011 О модальной логике интервалов с отношением «позже»
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Чижов Алексей Сергеевич (Специалист)
-
- 2009 Элементарность простых принципов редукции в модальных логиках предикатов
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Фурсов Андрей Владимирович (Специалист)
-
- 2008 О логических свойствах геометрических отношений
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Емельянов Никита Львович (Специалист)
-
- 2007 Невозможность конечной аксиоматизации суперинтуиционистской логики Cheq клетчатых подмножеств R∞
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Шатров Тимофей Анатольевич (Специалист)
-
- 2006 О степени неполноты в нормальных модальных логиках
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Коган Беньямин (Специалист)
-
- 2006 О модальных эквивалентах формул первого порядка
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Васильев Андрей Васильевич (Специалист)
-
- 2006 Модальная определимость первопорядковых формул, соответствующих диаграммам
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Кикоть Станислав Павлович (Специалист)
-
- 2005 Элементарность в модальных логиках предикатов
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Астрецов Сергей Александрович (Специалист)
-
- 2003 Пропозициональные логики теорий первого порядка
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Романов Алексей Васильевич (Специалист)
-
- 2003 PSpace-полнота логик хронологического будущего пространства Минковского
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Шапировский Илья Борисович (Специалист)
-
- 2002 еразрешимость модальных логик между K^n и S5^n
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Капустин Александр Владимирович (Специалист)
-
- 2002 Доказательство разрешимости некоторых логических систем с реальным временем
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Маренина Алиса Марковна (Специалист)
-
- 2001 Финитная аппроксимируемость и конечная аксиоматизируемость некоторых логик с универсальной модальностью
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Зильбер Алексей Борисович (Специалист)
-
- 2001 О модальных операторах неравенства в топологических пространствах
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Кудинов Андрей Валерьевич (Специалист)
-
- 1999 Расширения многомерных временных логик
- Научные руководители: Артемов Сергей Николаевич, Шехтман Валентин Борисович
- Автор: Кравцов Алексей Геннадьевич (Специалист)
-
- 1998 Расширение пропозициональных модальных логик считающими и помеченными модальностями
- Научный руководитель: Шехтман Валентин Борисович
- Автор: Замятин Владимир Викторович (Специалист)
-
-
Авторство учебных курсов
-
- 2022 Модальная логика
- Автор: Шехтман В.Б.
-
- 2015 Логики предикатов
- Автор: Шехтман В.Б.
-
- 2014 Алгебраическая логика
- Автор: Шехтман В.Б.
-
- 2013 Теория моделей
- Автор: Шехтман В.Б.
-
- 2012 Пространственные логики
- Автор: Шехтман В.Б.
-
- 2010 Модальная и алгебраическая логика
- Авторы: Пентус М.Р., Шехтман В.Б., Шапировский И.Б.
-
-
Преподавание учебных курсов
-
- 7 февраля 2023 - 30 июня 2023 Математическая логика и алгоритмы
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, вариативной части, лекции, 36 часов
-
- 1 сентября 2022 - 30 декабря 2022 Модальная логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 36 часов
-
- 7 февраля 2021 - 30 июня 2021 Математическая логика и алгоритмы
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, лекции, 34 часов
-
- 1 сентября 2020 - 30 июня 2021 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2020 - 31 декабря 2020 Алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 34 часов
-
- 7 февраля 2020 - 30 июня 2020 Математическая логика и алгоритмы
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, лекции, 34 часов
-
- 1 сентября 2019 - 30 июня 2020 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2018 - 30 июня 2019 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2018 - 20 декабря 2018 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, лекции, 36 часов
-
- 1 сентября 2017 - 19 мая 2018 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2017 - 20 декабря 2017 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, лекции, 36 часов
-
- 1 сентября 2016 - 19 мая 2017 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2016 - 20 декабря 2016 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, лекции, 36 часов
-
- 7 февраля 2016 - 30 июня 2016 Математическая логика и алгоритмы
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, лекции, 34 часов
-
- 8 сентября 2015 - 17 мая 2016 Логики предикатов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 60 часов
-
- 1 сентября 2015 - 31 мая 2016 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 68 часов
-
- 16 сентября 2014 - 19 мая 2015 Алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 60 часов
-
- 1 сентября 2014 - 31 мая 2015 Модальная и алгебраическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 68 часов
-
- 7 февраля 2014 - 20 мая 2014 Математическая логика и алгоритмы
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, лекции, 34 часов
-
- 11 сентября 2013 - 13 мая 2014 Теория моделей
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 60 часов
-
- 12 сентября 2012 - 15 мая 2013 Пространственные логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 60 часов
-
- 7 февраля 2012 - 20 мая 2012 Математическая логика и алгоритмы
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, лекции, 34 часов
-