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

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





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






Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
26 августа 2010 г. 11:50, г. Москва
 


Uniform interpolation for monotone modal logic

Santocanale Luigi, Yde Venema
Видеозаписи:
Windows Media 243.9 Mb
Flash Video 456.1 Mb

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

Santocanale Luigi, Yde Venema


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

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

Аннотация: We reconstruct the syntax and semantics of monotone modal logic, in the style of Moss' coalgebraic logic. To that aim, we replace the box and diamond with a modality $\nabla$ which takes a finite collection of finite sets of formulas as its argument. The semantics of this modality in monotone neighborhood models is defined in terms of a version of relation lifting that is appropriate for this setting.
We prove that the standard modal language and our $\nabla$-based one are effectively equi-expressive, meaning that there are effective translations in both directions. We prove and discuss some algebraic laws that govern the interaction of $\nabla$ with the Boolean operations. These laws enable us to rewrite each formula into a special kind of disjunctive normal form that we call transparent. For such transparent formulas it is relatively easy to define the bisimulation quantifiers that one may associate with our notion of relation lifting. This allows us to prove the main result of the paper, viz., that monotone modal logic enjoys the property of uniform interpolation.

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

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