57 citations · 208 across the 27 of their papers we have counts for
1 paper · 2 filters
Clemens Kupke, Alexander Kurz, Yde Venema
We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, re…