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

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





Для просмотра файлов Вам могут потребоваться








Семинар отдела математической логики «Теория доказательств»
14 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom
 


Cyclic Henkin Logic

A. Visser

Utrecht University
Видеозаписи:
MP4 481.0 Mb

Количество просмотров:
Эта страница:73
Видеофайлы:8
Youtube Video:

A. Visser


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке



Аннотация: We present a general version of the second incompleteness theorem G2. In this version we consider certain predicates semi-numerating the axiom set of the given theory that do not necessarily support the verification of the third Löb Condition: provable implies provably provable.
Cyclic Henkin Logic (CHL) is a provability logic that is valid for arithmetical interpretations whenever the conditions for the above version of G2 apply. The logic is, in first approximation, K plus Löb’s Rule plus Fixed Points. The logic has many good properties. For example, the de Jongh-Sambin-Bernardi Theorem holds in the CHL. We realise the idea of `Fixed Points’ by employing a syntax on cyclic graphs. We will sketch how this works and briefly indicate how arithmetical interpretation of a graph works (even modulo bisimulation). CHL turns out to be mutually interpretable with the mu-Calculus plus the minimal Henkin Fixed Point. As a consequence, one has, for example, a completeness theorem for CHL in finite acyclic Kripke models and uniform interpolation.

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021