Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Shehtman, Valentin Borisovich

Total publications: 15 (14)
in MathSciNet: 9 (8)
in zbMATH: 12 (12)
in Web of Science: 4 (4)
in Scopus: 3 (3)
Cited articles: 9
Citations: 28
Presentations: 34

Number of views:
This page:2098
Abstract pages:3041
Full texts:1160
References:213
Doctor of physico-mathematical sciences
E-mail: ,

https://www.mathnet.ru/eng/person37158
List of publications on Google Scholar
https://zbmath.org/authors/?q=ai:shehtman.valentin-b
https://mathscinet.ams.org/mathscinet/MRAuthorID/194515

Full list of publications:
| scientific publications | by years | by types | by times cited | common list |


Citations (Crossref Cited-By Service + Math-Net.Ru)

   2023
1. V. B. Shehtman, D. P. Shkatov, “Semiproducts, products, and modal predicate logics: some examples”, Dokl. Math., 108:2 (2023), 411–418  mathnet  crossref  crossref  mathscinet  elib

   2016
2. V. B. Shehtman, “Bisimulation games and locally tabular logics”, Russian Math. Surveys, 71:5 (2016), 979–981  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  elib  scopus
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. V. B. Shehtman, “Squares of modal logics with additional connectives”, Russian Math. Surveys, 67:4 (2012), 721–777  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  elib  scopus
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. V. B. Shehtman, “On squares of modal logics with additional connectives”, Proc. Steklov Inst. Math., 274 (2011), 317–325  mathnet  crossref  mathscinet  isi  elib  elib  scopus

   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. L. L. Maksimova, D. P. Skvortsov, V. B. Shehtman, “Impossibility of finite axiomatization of Medvedev's logic of finite problems”, Dokl. Akad. Nauk SSSR, 245:5 (1979), 1051–1054  mathnet  mathscinet  zmath

   1978
12. V. B. Shekhtman, “Two-dimensional modal logic”, Math. Notes, 23:5 (1978), 417–424  mathnet  crossref  mathscinet  zmath
13. V. B. Shehtman, “An undecidable superintuitionistic propositional calculus”, Dokl. Akad. Nauk SSSR, 240:3 (1978), 549–552  mathnet  mathscinet  zmath
14. V. B. Shehtman, “Rieger–Nishimura lattices”, Dokl. Akad. Nauk SSSR, 241:6 (1978), 1288–1291  mathnet  zmath

   1977
15. V. B. Shehtman, “On incomplete propositional logics”, Dokl. Akad. Nauk SSSR, 235:3 (1977), 542–545  mathnet  mathscinet  zmath

Presentations in Math-Net.Ru
1. Лекция 5. Модальные логики предикатов и их модели
V. B. Shehtman

October 10, 2024 18:00
2. Лекция 4. Модальные логики предикатов и их модели
V. B. Shehtman

October 3, 2024 18:00   
3. Лекция 3. Модальные логики предикатов и их модели
V. B. Shehtman

September 26, 2024 18:00   
4. Completeness for modal predicate logics
V. B. Shehtman
Seminars "Proof Theory" and "Logic Online Seminar"
September 23, 2024 16:00   
5. Лекция 2. Модальные логики предикатов и их модели
V. B. Shehtman

September 19, 2024 18:00   
6. Лекция 1. Модальные логики предикатов и их модели
V. B. Shehtman

September 12, 2024 18:00   
7. Logics of problems
V. B. Shehtman, A. A. Onoprienko
Seminar "Complex analysis in several variables" (Vitushkin Seminar)
March 20, 2024 16:45
8. Lecture 14. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
December 14, 2023 18:00   
9. Lecture 13. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
December 7, 2023 18:00   
10. Lecture 12. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
November 30, 2023 18:00   
11. Lecture 11. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
November 23, 2023 18:00   
12. Lecture 10. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
November 16, 2023 18:00   
13. Lecture 9. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
November 9, 2023 18:00   
14. Lecture 8. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
November 2, 2023 18:00   
15. Lecture 7. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
October 26, 2023 18:00   
16. Lecture 6. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
October 19, 2023 18:00   
17. Lecture 5. Algebraic logic and categories
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
October 12, 2023 18:00   
18. Лекция 4. Алгебраическая логика и категории
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
October 5, 2023 18:00   
19. Лекция 3. Алгебраическая логика и категории
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
September 28, 2023 18:00   
20. Лекция 2. Алгебраическая логика и категории
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
September 21, 2023 18:00   
21. Лекция 1. Алгебраическая логика и категории
V. B. Shehtman
Course by V. B. Shehtman "Algebraic logic and categories"
September 14, 2023 18:00   
22. Simplicial models for modal predicate logics
V. B. Shehtman
Seminars "Proof Theory" and "Logic Online Seminar"
November 28, 2022 18:30   
23. How to axiomatize boxing for a modal predicate logic?
V. B. Shehtman
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 11, 2022 17:15   
24. Seminar 1. Algebraic and categorical logic
S. L. Kuznetsov, V. B. Shehtman
Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
February 9, 2022 18:00   
25. Boxing modal logics
V. B. Shehtman
Logical Perspectives 2021: Summer School and Workshop
June 19, 2021 10:30   
26. Modal logic, topology and simplicial sets
V. B. Shehtman
Geometric Topology Seminar
November 20, 2019 17:00   
27. Modal logic, topology and simplicial sets
V. B. Shehtman
Geometric Topology Seminar
November 13, 2019 17:00   
28. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
V. B. Shehtman
Seminars "Proof Theory" and "Logic Online Seminar"
March 25, 2019 20:55   
29. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
V. B. Shehtman
Seminars "Proof Theory" and "Logic Online Seminar"
March 18, 2019 18:30   
30. О полноте модальных предикатных логик в семантике Крипке
V. B. Shehtman
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 16, 2018 18:30
31. Modal logic meets simplicial sets
Valentin B. Shehtman
Logical Perspectives 2018
May 18, 2018 11:30   
32. Spatial logics
V. B. Shehtman
Seminar "Complex analysis in several variables" (Vitushkin Seminar)
November 1, 2017 16:45
33. Simplicial semantics of modal predicate logics
V. Shehtman
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017 12:15   
34. Квадраты Сегерберга модальных логик и реляционные алгебры
V. B. Shehtman
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 3, 2015 18:30

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024