Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Шехтман Валентин Борисович

Публикаций: 15 (14)
в MathSciNet: 9 (8)
в zbMATH: 12 (12)
в Web of Science: 4 (4)
в Scopus: 3 (3)
Цитированных статей: 9
Цитирований: 29
Лекций и докладов: 42

Статистика просмотров:
Эта страница:2264
Страницы публикаций:3236
Полные тексты:1225
Списки литературы:234
доктор физико-математических наук
E-mail: ,

https://www.mathnet.ru/rus/person37158
Список публикаций на Google Scholar
https://zbmath.org/authors/ai:shehtman.valentin-b
https://mathscinet.ams.org/mathscinet/MRAuthorID/194515

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2023
1. В. Б. Шехтман, Д. П. Шкатов, “Полупроизведения, произведения и предикатные модальные логики: некоторые примеры”, Докл. РАН. Матем., информ., проц. упр., 513 (2023), 99–107  mathnet  crossref  mathscinet  elib; V. B. Shehtman, D. P. Shkatov, “Semiproducts, products, and modal predicate logics: some examples”, Dokl. Math., 108:2 (2023), 411–418  crossref  mathscinet 1

   2016
2. В. Б. Шехтман, “Бисимуляционные игры и локально табличные логики”, УМН, 71:5(431) (2016), 185–186  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; V. B. Shehtman, “Bisimulation games and locally tabular logics”, Russian Math. Surveys, 71:5 (2016), 979–981  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 3
3. Ilya Shapirovsky, Valentin Shehtman, “Local tabularity without transitivity”, Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, Advances in Modal Logic, 11, London, College Publications, 2016, 520–534  mathnet  zmath

   2014
4. Valentin Shehtman, “Canonical filtrations and local tabularity”, Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, Advances in Modal Logic, 10, London, College Publications, 2014, 498–512  mathnet  zmath
5. Andrey Kudinov, Valentin Shehtman, “Derivational modal logics with the difference modality”, Leo Esakia on duality in modal and intuitionistic logics, Outst. Contrib. Log., 4, Springer, Dordrecht, 2014, 291–334  mathnet  crossref  zmath 7
6. Dov Gabbay, Ilya Shapirovsky, Valentin Shehtman, “Products of modal logics and tensor products of modal algebras”, J. Appl. Log., 12:4 (2014), 570–583  mathnet  crossref  zmath

   2012
7. В. Б. Шехтман, “Квадраты модальных логик с дополнительными связками”, УМН, 67:4(406) (2012), 129–186  mathnet  crossref  mathscinet  zmath  isi  elib; V. B. Shehtman, “Squares of modal logics with additional connectives”, Russian Math. Surveys, 67:4 (2012), 721–777  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 2
8. Andrey Kudinov, Ilya Shapirovsky, Valentin Shehtman, “On modal logics of Hamming spaces”, Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, Advances in Modal Logic, 9, College Publications, London, 2012, 395–410  mathnet  zmath  isi

   2011
9. В. Б. Шехтман, “О квадратах модальных логик с дополнительными связками”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 343–351  mathnet  mathscinet  isi  elib; V. B. Shehtman, “On squares of modal logics with additional connectives”, Proc. Steklov Inst. Math., 274 (2011), 317–325  crossref  mathscinet  isi  elib  scopus 1

   2001
10. Yu. S. Ilyashenko, V. B. Shehtman, M. A. Tsfasman, “Sergei N. Artemov”, Mosc. Math. J., 1:4 (2001), 643  mathnet  mathscinet

   1979
11. Л. Л. Максимова, Д. П. Скворцов, В. Б. Шехтман, “Невозможность конечной аксиоматизации логики финитных задач Медведева”, Докл. АН СССР, 245:5 (1979), 1051–1054  mathnet  mathscinet  zmath 2

   1978
12. В. Б. Шехтман, “Двумерные модальные логики”, Матем. заметки, 23:5 (1978), 759–772  mathnet  mathscinet  zmath; V. B. Shekhtman, “Two-dimensional modal logic”, Math. Notes, 23:5 (1978), 417–424  crossref  mathscinet  zmath 9
13. В. Б. Шехтман, “Неразрешимое суперинтуиционистское исчисление высказываний”, Докл. АН СССР, 240:3 (1978), 549–552  mathnet  mathscinet  zmath 1
14. В. Б. Шехтман, “Лестницы Ригера–Нишимуры”, Докл. АН СССР, 241:6 (1978), 1288–1291  mathnet  zmath 3

   1977
15. В. Б. Шехтман, “О неполных логиках высказываний”, Докл. АН СССР, 235:3 (1977), 542–545  mathnet  mathscinet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 13. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
5 декабря 2024 г. 18:00
2. Лекция 12. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
28 ноября 2024 г. 18:00   
3. Лекция 11. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
21 ноября 2024 г. 18:00   
4. Лекция 10. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
14 ноября 2024 г. 18:00   
5. Лекция 9. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
7 ноября 2024 г. 18:00   
6. Лекция 8. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
31 октября 2024 г. 18:00   
7. Лекция 7. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
24 октября 2024 г. 18:00   
8. Лекция 6. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
17 октября 2024 г. 18:00   
9. Лекция 5. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
10 октября 2024 г. 18:00   
10. Лекция 4. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
3 октября 2024 г. 18:00   
11. Лекция 3. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
26 сентября 2024 г. 18:00   
12. Полнота для модальных предикатных логик
V. B. Shehtman
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
23 сентября 2024 г. 16:00   
13. Лекция 2. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
19 сентября 2024 г. 18:00   
14. Лекция 1. Модальные логики предикатов и их модели
В. Б. Шехтман
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
12 сентября 2024 г. 18:00   
15. О логиках задач
В. Б. Шехтман, А. А. Оноприенко
Семинар по многомерному комплексному анализу (Семинар Витушкина)
20 марта 2024 г. 16:45
16. Лекция 14. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
14 декабря 2023 г. 18:00   
17. Лекция 13. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
7 декабря 2023 г. 18:00   
18. Лекция 12. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
30 ноября 2023 г. 18:00   
19. Лекция 11. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
23 ноября 2023 г. 18:00   
20. Лекция 10. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
16 ноября 2023 г. 18:00   
21. Лекция 9. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
9 ноября 2023 г. 18:00   
22. Лекция 8. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
2 ноября 2023 г. 18:00   
23. Лекция 7. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
26 октября 2023 г. 18:00   
24. Лекция 6. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
19 октября 2023 г. 18:00   
25. Лекция 5. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
12 октября 2023 г. 18:00   
26. Лекция 4. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
5 октября 2023 г. 18:00   
27. Лекция 3. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
28 сентября 2023 г. 18:00   
28. Лекция 2. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
21 сентября 2023 г. 18:00   
29. Лекция 1. Алгебраическая логика и категории
В. Б. Шехтман
Курс В. Б. Шехтмана "Алгебраическая логика и категории"
14 сентября 2023 г. 18:00   
30. Симплициальные модели модальных логик предикатов
В. Б. Шехтман
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
28 ноября 2022 г. 18:30   
31. How to axiomatize boxing for a modal predicate logic?
В. Б. Шехтман
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
11 ноября 2022 г. 17:15   
32. Семинар 1. Алгебраическая и категорная логика
С. Л. Кузнецов, В. Б. Шехтман
Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика"
9 февраля 2022 г. 18:00   
33. Boxing modal logics
V. B. Shehtman
Logical Perspectives 2021: Summer School and Workshop
19 июня 2021 г. 10:30   
34. Модальная логика, топология и симплициальные множества
В. Б. Шехтман
Семинар по геометрической топологии
20 ноября 2019 г. 17:00   
35. Модальная логика, топология и симплициальные множества
В. Б. Шехтман
Семинар по геометрической топологии
13 ноября 2019 г. 17:00   
36. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
В. Б. Шехтман
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
25 марта 2019 г. 20:55   
37. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
В. Б. Шехтман
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
18 марта 2019 г. 18:30   
38. О полноте модальных предикатных логик в семантике Крипке
В. Б. Шехтман
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
16 октября 2018 г. 18:30
39. Modal logic meets simplicial sets
Valentin B. Shehtman
Logical Perspectives 2018
18 мая 2018 г. 11:30   
40. Пространственные логики
В. Б. Шехтман
Семинар по многомерному комплексному анализу (Семинар Витушкина)
1 ноября 2017 г. 16:45
41. Simplicial semantics of modal predicate logics
V. Shehtman
Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г. 12:15   
42. Квадраты Сегерберга модальных логик и реляционные алгебры
В. Б. Шехтман
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
3 ноября 2015 г. 18:30

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024