Pages that link to "Item:Q5941165"
From MaRDI portal
The following pages link to From modal logic to terminal coalgebras (Q5941165):
Displaying 21 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- On minimal coalgebras (Q934670) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941) (← links)
- Institutionalising many-sorted coalgebraic modal logic (Q2842552) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- (Q4499303) (← links)
- 2004 Annual Conference of the Australasian Association for Logic (Q4678949) (← links)
- Final Coalgebras from Corecursive Algebras. (Q5275353) (← links)
- Algebra and Coalgebra in Computer Science (Q5492825) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)
