Pages that link to "Item:Q703520"
From MaRDI portal
The following pages link to A compositional approach to defining logics for coalgebras (Q703520):
Displaying 16 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- On expressivity and compositionality in logics for coalgebras (Q2843724) (← links)
- On logics for coalgebraic simulation (Q2847807) (← links)
- Modular games for coalgebraic fixed point logics (Q2873663) (← links)
- Towards a Coalgebraic Chomsky Hierarchy (Q3190167) (← links)
- (Q3204454) (← links)
- 2006 Annual Meeting of the Association for Symbolic Logic (Q3594488) (← links)
- (Q4499314) (← links)
- Some Sahlqvist Completeness Results for Coalgebraic Logics (Q4910420) (← links)
- Canonical coalgebraic linear time logics (Q5275344) (← links)
- (Q5419875) (← links)