Workshop "Logics for Coalgebras"
10-11 May 2007, Amsterdam
Coalgebras have been expanding and reshaping the mathematical environment
of modal logic: pivoting on the crucial notion of 'bisimulation
invariance', a wide range of languages based on Set-endofunctors have been
recognized as modal in nature and conversely, the coalgebraic nature of
modal logic is clearly recognizable by its model theory.