Valentin B. Shehtman
- Professor:Faculty of Mathematics / Joint Department with the Kharkevich Institute for Information Transmission Problems (RAS)
- Valentin B. Shehtman has been at HSE University since 2010.
Education and Degrees
- 2000
Doctor of Sciences* in Mathematical Logic, Algebra and Number Theory
- 1975
Degree
Lenin Moscow State Teacher Training Institute Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory
Doctoral programme
Lomonosov Moscow State University
* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
Research interests
Mathematical logic, with the emphasis to nonclassical logics, and their applications to universal algebra, topology and computer science
Courses (2023/2024)
- Introduction to Model Theory (Optional course (faculty); 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); 1, 2 module)Rus
- Past Courses
Courses (2022/2023)
- Research Seminar "Categories and Universal Algebra" (Optional course (faculty); 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 3 year, 3, 4 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); 3, 4 module)Rus
Courses (2021/2022)
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 3 year, 3, 4 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
- Research Seminar "Sets and Models" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
Courses (2020/2021)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Mathematics. Licenciatus (Bachelor’s programme; Faculty of Mathematics; 4 year, 1 module)Rus
- Research Seminar "Introduction to Model Theory " (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Courses (2019/2020)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Categories and Universal Algebra" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Courses (2018/2019)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 4 module)Rus
- Mathematics Practical Training (Bachelor’s programme; Faculty of Mathematics; 1 year, 1-4 module)Rus
- Research Seminar "Introduction to Model Theory " (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Courses (2017/2018)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 4 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 1 year, 1, 2 module)Rus
- Mathematical Practical Training 2 (Bachelor’s programme; Faculty of Mathematics; 2 year, 1-4 module)Rus
- Mathematics Practical Training (Bachelor’s programme; Faculty of Mathematics; 1 year, 1-4 module)Rus
- Research Seminar "Categories and Universal Algebra" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Publications30
- Article Shehtman V. B. On Kripke completeness of modal predicate logics around quantified K5 // Annals of Pure and Applied Logic. 2023. Vol. 174. No. 2. Article 103202. doi
- Chapter Shehtman V. B. On Kripke completeness of some modal predicate logics with the density axiom, in: Advances in Modal Logic Vol. 12. College Publications, 2018. P. 559-575.
- Chapter Shehtman V. B. Segerberg squares of modal logics and theories of relation algebras, in: Larisa Maksimova on Implication, Interpolation, and Definability. Cham : Springer, 2018. doi P. 245-296. doi
- Chapter Шехтман В. Б., Шапировский И. Современная модальная логика: между математикой и информатикой // В кн.: Современная логика: основания, предмет и перспективы развития / Под общ. ред.: Д. В. Зайцев. М. : ИД "Форум", 2018. С. 265-305.
- Chapter Shehtman V. B., Shapirovsky I. Local tabularity without transitivity, in: Advances in Modal Logic / Ed. by L. D. Beklemishev, S. Demri, A. Mate. Vol. 11. L. : College Publications, 2016. P. 520-534.
- Article Шехтман В. Б. Бисимуляционные игры и локально табличные логики // Успехи математических наук. 2016. Т. 71. № 5. С. 185-186. doi
- Chapter Shehtman V. B. Canonical filtrations and local tabularity, in: Advances in Modal Logic, Volume 10. College Publications, 2014. P. 498-512.
- Chapter Kudinov A., Shehtman V. B. Derivational Modal Logics with the Difference Modality, in: Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 2014. P. 291-334.
- Chapter Kudinov A., Shehtman V. B. Derivational modal logics with the difference modality, in: Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 2014. Ch. 11. P. 291-334.
- Article Gabbay D., Shapirovsky I., Shehtman V. B. Products of modal logics and tensor products of modal algebras // Journal of Applied Logic. 2014. Vol. 12. No. 4. P. 570-583. doi
- Chapter Kudinov A., Shehtman V. B., Shapirovsky I. On modal logics of Hamming spaces, in: Advances in Modal Logic Issue 9. L. : College Publications, 2012. P. 395-410.
- Article Shehtman V. B. Squares of modal logics with additional connectives // Russian Mathematical Surveys. 2012. Vol. 67. No. 4. P. 721-777. doi
- Book Advances in Modal Logic 2010, Extended Abstracts / Ed. by L. D. Beklemishev, V. Goranko, V. B. Shehtman. Vol. 8. L. : College Publications, 2010.
- Book Shehtman V. B., Skvortsov D., Gabbay D. Quantification in Nonclassical Logic Vol. 1. Amsterdam : Elsevier, 2009.
- Book Теория моделей и алгебраическая геометрия. Сборник статей под редакцией Э.Бускаран / Под общ. ред.: И. В. Артамкин, В. Б. Шехтман. М. : МЦНМО, 2008.
- Article Shehtman V. B. Completeness and incompleteness in first-order modal logic: an overview // Advanced in Modal Logic. 2006. Vol. 6. P. 27-30.
- Article Balbiani P., Shapirovsky I., Shehtman V. B. Every world can see a Sahlqvist world // Advanced in Modal Logic. 2006. Vol. 6. P. 69-85.
- Article Shehtman V. B., Shapirovsky I. Modal logics of regions and Minkowski spacetime // Journal of Logic and Computation. 2005. Vol. 15. No. 5. P. 559-574.
- Article Shehtman V. B. On neighbourhood semantics thirty years later // College Publications. 2005. Vol. 2. P. 663-692.
- Article Gabbay D., Shehtman V. B. Products of modal logics, part 3: Products of modal and temporal logics . // Studia Logica. 2000. No. 72(2). P. 157-183.
- Article Shehtman V. B. “Everywhere” and “Here”. // Journal of Applied Mathematics and Mechanics. 1999. Vol. 9. No. 2/3. P. 369-380.
- Article Shehtman V. B., Chagrov A. Algorithmic aspects of propositional tense logics. // Lecture Notes in Computer Science. 1995. Vol. 933. P. 442-455.
- Article Shehtman V. B., Skvortsov D. Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. // Annals of Pure and Applied Logic. 1993. Vol. 63. No. 1. P. 69-101.
- Article Gabbay D., Shehtman V. B. Undecidability of modal and intermediate first-order logics with two individual variables. // Journal of Symbolic Logic. 1993. Vol. 58. No. 3. P. 800-823.
- Article Шехтман В. Б. Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. // Studia Logica. 1990. Т. 49. № 3. С. 83-103.
- Article Шехтман В. Б., Скворцов Д. Logics of some Kripke frames connected with Medvedev notion of informational types. // Studia Logica. 1986. Т. 45. С. 101-118.
- Article Шехтман В. Б. Modal logics of domains on the real plane. // Studia Logica. 1983. Т. 42. № 1. С. 63-80.
- Article Шехтман В. Б. Семантика модальных утверждений. // Семиотика и информатика. 1981. Т. 17. С. 148-169.
- Article Шехтман В. Б. Топологические модели пропозициональных логик. // Семиотика и информатика. 1980. Т. 15. С. 74-98.
- Article Шехтман В. Б. Двумерные модальные логики. // Математические заметки. 1978. Т. 23. № 5. С. 759-772.