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

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






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


Coalgebraic Lindström theorems

Alexander Kurz, Yde Venema
Видеозаписи:
Windows Media 229.6 Mb
Flash Video 383.6 Mb
MP4 241.2 Mb

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

Alexander Kurz, Yde Venema



Аннотация: 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.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024