Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
23 ноября 2022 г. 18:00–19:30, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
 


Семинар 10. Вложение Int в S4

Григорий Вельмакин
Видеозаписи:
MP4 214.7 Mb

Количество просмотров:
Эта страница:193
Видеофайлы:29

Григорий Вельмакин



Аннотация: В докладе будет рассказано про трансляцию МакКинси–Гёделя–Тарского, которая вкладывает всякую суперинтуиционистскую логику (включая Int и Cl) в подходящее расширение модальной логики S4. Также будет рассказано о том, как указанная трансляция позволяет переносить интерполяционное свойство Крейга между Int и S4.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024