1 citations · 2 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 1 cited
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. Similar to wel…
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…