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

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






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

Student session


On axiomatization and polytime decidability of strictly positive fragments of some modal logics

M. Svyatlovsky
Видеозаписи:
MP4 845.3 Mb
MP4 192.3 Mb

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

M. Svyatlovsky


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

Аннотация: We call a formula strictly positive, if it is built of propositional variables, conjunction and modal diamond operators. The strictly positive fragment (SP-fragment) of a logic L is the set of all provable in L implications A$\to$B, where A and B are strictly positive formulas. E. V. Dashkov proved that Gödel–Löb provability logic GL and the logic K4 have the same SP-fragments.
We study the SP-fragment of the logic K4.3 of all transitive linear frames. We give two different semantical characterizations of the fragmet. We will present a finite axiomatization of the SP-fragment of K4.3 and prove that it is polytime decidable.

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

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