Pages that link to "Item:Q3056299"
From MaRDI portal
The following pages link to A Note on Expressive Coalgebraic Logics for Finitary Set Functors (Q3056299):
Displaying 16 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Coalgebraic logic (Q1295427) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Logical construction of final coalgebras (Q2843736) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Power-set functors and saturated trees (Q2915670) (← links)
- On coalgebras over algebras (Q2919449) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces (Q4236207) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- Final Coalgebras from Corecursive Algebras. (Q5275353) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)