Video Library
Most viewed videos

New in collection

You may need the following programs to see the files

Workshop on Proof Theory, Modal Logic and Reflection Principles
October 19, 2017 14:00–14:25, Moscow, Steklov Mathematical Institute

Student session

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

M. Martel
Video records:
MP4 1,127.4 Mb
MP4 256.4 Mb

Number of views:
This page:72
Video files:12

M. Martel

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

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

Abstract: 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.

Language: English

SHARE: FaceBook Twitter Livejournal
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020