18 citations · 67 across the 31 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
H. Beohar, B. König, S. Küpper +1
We study coalgebraic modal logic to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli or an Eilenberg-Moore category…
cs.LO2021★ 2 cited
Fixpoint Theory -- Upside Down
Paolo Baldan, Richard Eggert, Barbara König +1
Knaster-Tarski's theorem, characterising the greatest fixpoint of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduc…