27 citations · 83 across the 25 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
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★ 1 cited
Generalized powerlocales via relation lifting
Yde Venema, Steve Vickers, Jacob Vosmaer
This paper introduces an endofunctor $\VT$ on the category of frames, parametrized by an endofunctor $\T$ on the category $\Set$ that satisfies certain constraints. This generalize…