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 25, 2010 15:35, Moscow
 


Coalgebraic Lindström theorems

Alexander Kurz, Yde Venema
Video records:
Windows Media 229.6 Mb
Flash Video 383.6 Mb

Number of views:
This page:316
Video files:103

Alexander Kurz, Yde Venema


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

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

Abstract: We study modal Lindström theorems from a coalgebraic perspective. We provide three different Lindström theorems for coalgebraic logic, one of which is a direct generalisation of de Rijke's result for Kripke models. Both the other two results are based on the properties of bisimulation invariance, compactness, and a third property: $\omega$-bisimilarity, and expressive closure at level $\omega$, respectively. These also provide new results in the case of Kripke models. Discussing the relation between our work and a recent result by van Benthem, we give an example showing that only requiring bisimulation invariance together with compactness does not suffice to characterise basic modal logic.

Language: English

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