|
Course by V. B. Shehtman "Modal predicate logics and their models"
(September 12–December 19, 2024, Steklov Mathematical Institute, Room 303 (8 Gubkina))
We kindly ask all participants, including remote ones and those
watching recorded videos, to register at this link.
The course gives a short introduction to the theory of modal and superuitionsitic predicate logics. The main aspect of the course is model-theoretic. Unlike classical logic, here we observe a variety of semantics using constructions from other mathematical areas - sheaves, fibrations, simplicial sets. The general picture of the field is quite complicated, and many problems are still open.
 Lecturer
Shehtman Valentin Borisovich
Financial support
The course is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, Agreement no. 075-15-2022-265).
Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center |
|
| Course by V. B. Shehtman "Modal predicate logics and their models", September 12–December 19, 2024 |
|
|
December 19, 2024 (Thu) |
 |
| 1. |
Lecture 15. Modal predicate logics and their models
V. B. Shehtman
December 19, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
December 12, 2024 (Thu) |
|
| 2. |
Lecture 14. Modal predicate logics and their models
V. B. Shehtman
December 12, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
December 5, 2024 (Thu) |
|
| 3. |
Lecture 13. Modal predicate logics and their models
V. B. Shehtman
December 5, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
November 28, 2024 (Thu) |
|
| 4. |
Lecture 12. Modal predicate logics and their models
V. B. Shehtman
November 28, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
November 21, 2024 (Thu) |
|
| 5. |
Lecture 11. Modal predicate logics and their models
V. B. Shehtman
November 21, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
November 14, 2024 (Thu) |
|
| 6. |
Lecture 10. Modal predicate logics and their models
V. B. Shehtman
November 14, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
November 7, 2024 (Thu) |
|
| 7. |
Lecture 9. Modal predicate logics and their models
V. B. Shehtman
November 7, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
October 31, 2024 (Thu) |
|
| 8. |
Lecture 8. Modal predicate logics and their models
V. B. Shehtman
October 31, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
October 24, 2024 (Thu) |
|
| 9. |
Lecture 7. Modal predicate logics and their models
V. B. Shehtman
October 24, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
October 17, 2024 (Thu) |
|
| 10. |
Lecture 6. Modal predicate logics and their models
V. B. Shehtman
October 17, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
October 10, 2024 (Thu) |
|
| 11. |
Lecture 5. Modal predicate logics and their models
V. B. Shehtman
October 10, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
October 3, 2024 (Thu) |
|
| 12. |
Lecture 4. Modal predicate logics and their models
V. B. Shehtman
October 3, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
September 26, 2024 (Thu) |
|
| 13. |
Lecture 3. Modal predicate logics and their models
V. B. Shehtman
September 26, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
September 19, 2024 (Thu) |
|
| 14. |
Lecture 2. Modal predicate logics and their models
V. B. Shehtman
September 19, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
September 12, 2024 (Thu) |
|
| 15. |
Lecture 1. Modal predicate logics and their models
V. B. Shehtman
September 12, 2024 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
|
|
Contact us: