Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






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
MP4 241.2 Mb

Number of views:
This page:560
Video files:150

Alexander Kurz, Yde Venema



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
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024