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

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




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
23 сентября 2024 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
 


Completeness for modal predicate logics

[Полнота для модальных предикатных логик]

В. Б. Шехтманab

a Национальный исследовательский университет "Высшая школа экономики", г. Москва
b Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
Видеозаписи:
MP4 541.5 Mb
Дополнительные материалы:
Adobe PDF 774.7 Kb

Количество просмотров:
Эта страница:150
Видеофайлы:28
Материалы:1



Аннотация: In modal predicate logic the problem of semanticaI completeness is very nontrivial. Kripke semantics is too weak, and it is not clear how to improve it. In this talk we give a brief overview of the field and present proofs of some recent results on completeness and incompleteness. An earlier version of the talk was given at Workshop on first-order modal and temporal logics (Ljubljana 2023).

Дополнительные материалы: talklos24.pdf (774.7 Kb)

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024