6 citations · 12 across the 4 of their papers we have counts for
1 paper · 2 filters
Daniel Gorín, Lutz Schröder
We define a notion of Lambda-simulation for coalgebraic modal logics, parametric on the choice Lambda of predicate liftings for a functor T. We show this notion is adequate in seve…