43 citations · 305 across the 30 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.LO2012
Relation Liftings on Preorders and Posets
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on…
cs.LO2012★ 27 cited
Completeness for the coalgebraic cover modality
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…
cs.LO2012★ 32 cited
Strongly Complete Logics for Coalgebras
Alexander Kurz, Jiri Rosicky
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In parti…