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

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





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






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


Semantic characterization of Kracht formulas

Stanislav Kikot
Видеозаписи:
Windows Media 224.6 Mb
Flash Video 407.0 Mb
MP4 407.0 Mb

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

Stanislav Kikot


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

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

Аннотация: Kracht formulas are first-order correspondents of modal Sahlqvist formulas. In this paper we present a model-theoretic characterization of Kracht formulas similar to Van Benthem's theorem saying that a first-order formula is equivalent to a modal formula iff it is invariant under bisimulation. Our characterization yields a method to prove that a given first-order formula is not equivalent to any Kracht formula. In particular, we prove that the first-order formula, expressing the ‘cubic property’ of a 3-dimensional modal frame does not have a Kracht equivalent.

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