RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





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






Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г. 12:15–12:50, Москва, Математический институт им. В.А. Стеклова РАН
 


Simplicial semantics of modal predicate logics

V. Shehtman
Видеозаписи:
MP4 967.9 Mb
MP4 265.3 Mb

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

V. Shehtman


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

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

Аннотация: Simplicial semantics for modal and modal predicate logics was introduced by Dmitry Skvortsov in the early 1990s as a maximal Kripke-type semantics. Basic results on this semantics were proved by Skvortsov and Shehtman (1993). In this talk we present a new incompleteness result: there is a continuum of logics (some of which are very simply axiomatized) that are complete in simplicial semantics, but incomplete in Ghilardi's functor semantics. These logics are quantified versions of propositional modal logics above D4.1 (= K4+seriality+McKinsey formula).

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

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