Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Шехтман Валентин Борисович
пользователь
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
, профессор, с 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
Тезисы докладов
2021
О полноте модальных предикатных логик в семантике Крипке
Шехтман В.Б.
в сборнике
Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов
, издательство
Тверской государственный университет
(Тверь)
, тезисы, с. 1-6
2017
On Kripke completeness of modal and superintuitionistic predicate logics with equality
Shehtman V.B.
,
Skvortsov D.P.
в сборнике
8th International Conference on Topology, Algebra and Categories in Logic (TACL 2017)
, серия
TACL
, тезисы, с. 1-2
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
Модальная логика
Автор:
Шехтман В.Б.
2016
Введение в математическую логику и теорию алгоритмов
Автор:
Шехтман Валентин Борисович
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 часов