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

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






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

Student session


Relation-changing modal logics: some model and proof theoretic aspects

M. Martel
Видеозаписи:
MP4 1,127.4 Mb
MP4 256.4 Mb

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

M. Martel


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

Аннотация: We can fairly say that Logic (whichever you want to choose, be it propositional or first-order, classical or non-classical) is the mathematical tool used, par excellence, to describe a structure. Modal logics, for example, are particularly well suited to describe relational structures, specially if one is interested in computationally well behaved formalisms. But why can a logic only describe a structure? In this talk we introduce relation-changing modal logics, a family of modal logics that can change the accessibility relation of a model during the evaluation of a formula. We consider some model and proof theoretic aspects of relation-changing modal logics. We start by illustrating some inexpressible properties such as the tree and finite model properties, and we show that these logics can be seen as fragments of hybrid logics by providing satisfiability-preserving translations. Then, we present sound and complete tableau methods using hybrid logic tools, and we conclude with some open questions aiming at integrating relation-changing modal logics within the current landscape of logics of model update.

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

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