|
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
12 сентября 2024 г. 18:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
Лекция 1. Модальные логики предикатов и их модели
В. Б. Шехтман |
|
Аннотация:
1. Модальные предикатные формулы.
2. Подстановки в словах, композиция подстановок.
3. Интуиционистское исчисление высказываний. Суперинтуиционистские логики высказываний. Модальные логики высказываний.
4. Выводимость из гипотез. Теорема дедукции. Схемы аксиом вместо правила подстановки.
|
|