Кафедра математической логики и теории алгоритмов

Шехтман Валентин Борисович

Профессор кафедры, главный научный сотрудник лаборатории алгебры и теории чисел ИППИ РАН, д. ф.-м. н.
E-mail адресvshehtman at gmail.com
Научные интересыМодальные и другие неклассические логики.

MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary | ИППИ | ВШЭ | YouTube

Полугодовой спецкурс «Модальная логика»
по четвергам 16:45–18:20 начинается 8 сентября 2022

Материалы курса доступны по ссылке

https://drive.google.com/drive/folders/1USiSsGTS5IzMCsOe3JLsQQtdZISVrYlQ?usp=sharing

Valentin B. Shehtman

Permanent places of employment:

  • Institute for Information Transmission Problems
  • Department of Mathematics, Moscow State University
  • Department of Mathematics, Higher School of Economics

Current research interests:

Mathematical logic, with the emphasis to nonclassical logics, and their applications to universal algebra, topology and computer science.

Curriculum Vitae in brief

1953 Born in Moscow

1970 Graduated from a mathematics oriented highschool in Moscow

1975 Master of sciences summa cum laude in Mathematics, Moscow State Pedagogical University

1975-77 Teacher in mathematics at high school, Moscow

1977-80 PhD student, Department of Mathematics, Moscow State University

1981-82 Teacher in mathematics at high school, Moscow

1982-84 Senior engineer, Research Institute of Patent Information

1985 Ph.D. in mathematics, Steklov Mathematics Institute, Leningrad branch

1984-90 Senior Research Fellow, Research Institute of General Moscow Planning

1990-93 Leading Research Fellow, Institute of New Technologies

1993 Senior Research Fellow, Institute for Information Transmission Problems, Russian Academy of Sciences

1995 Senior Research Fellow, Moscow State University

2000 Doctor of State in mathematics and physics, National Attestation Committee and Moscow State University

2000 Leading Research Fellow, Institute for Information Transmission Problems

2001 Full Professor, Department of Mathematics, Moscow State University

2004 Researcher at Poncelet Russian-French laboratory (LIFR-MI2P) of CNRS and the Independent University of Moscow

2008 Principal Researcher, Institute for Information Transmission Problems

2010 Full Professor, Department of Mathematics, Higher School of Economics

Recent publications

Book

D.Gabbay, V. Shehtman, D. Skvortsov. Quantification in Nonclassical Logic, volume 1. Elsevier, 2009.

D.Gabbay, V. Shehtman, D. Skvortsov. Quantification in Nonclassical Logic, volume 1. Draft of the second edition. download

 

2018

  • (with I. Shapirovsky) Contemporary modal logic: between mathematics and CS (in Russian). download
  • Segerberg squares of modal logics and theories of relation algebras. In: Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contributions in Logic 15, chapter 12, S. Odintsov, ed. Springer, 2018. download
  • On Kripke completeness of some modal predicate logics with the density axiom. In: Advances in Modal Logic, Volume 12. G. Bezhanisvili et al., eds. College Publications, 2018. download

    2014

  • Canonical filtrations and local tabularity. In: Advances in Modal Logic, Volume 10. R. Gore et al., eds. College Publications, 2014, pp. 498-512. download

    2005

  • Filtration via bismulation. In: Advances in Modal Logic, Volume 5. Renate Schmidt et al., eds. King’s College Publications, 2005, pp. 289-308. download
  • (with I.B. Shapirovsky) Modal logics of regions and Minkowski spacetime. Journal of Logic and Computation, v.15, No.5, 559 — 574. download
  • On neighbourhood semantics thirty years later. In: Sergei N. Artemov et al., eds. We Will Show Them! Essays in Honour of Dov Gabbay, v.2. College Publications 2005, pp.663-692. download

    2003

  • Chronological future modality in Minkowski spacetime. In: Advances in Modal Logic-2002. King’s College Publications, 437-459 (with I. Shapirovsky)

  • 2002

  • Products of modal logics. III. Products of modal and temporal logics. Studia Logica, v. 72, No. 2, p. 157-183. (with D. Gabbay)

  • 2000

  • Products of modal logics. II. Relativised quantifiers in classical logic. Logic Journal of the IGPL, v. 8, 165-210 (with D. Gabbay)

Teaching

Mathematical Logic and Algorithms, Spring 2008: questions(pdf), problems(pdf).Mathematical Logic and Algorithms, Spring 2010: questions(pdf).

Modal and temporal logics, Spring 2008: ML508(doc), problems(pdf).

Basic modal logic, Spring 2010: questions(pdf), problems(pdf).

Categorical and algebraic logic, 2011: questions(pdf), problems(pdf).

Spatial logics, 2012: program(pdf), problems(pdf).

Predicate logics, 2015: problems (pdf).

Temporal logics, 2019: lectures 1,2 (plan).

Problems

https://drive.google.com/file/d/18o4vdFQsUTlgGleFIk0c62bsPc5A4mP3/view?usp=sharing

Состав кафедры