The following pages link to (Q5028440):
Displaying 5 items.
- Syntactic forcing models for coherent logic (Q1788327) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- (Q3121528) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)