RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 26, 2010 09:15, Moscow
 


Semantic characterization of Kracht formulas

Stanislav Kikot
Video records:
Windows Media 224.6 Mb
Flash Video 407.0 Mb
MP4 407.0 Mb

Number of views:
This page:320
Video files:107

Stanislav Kikot


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

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

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

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017