Pages that link to "Item:Q2843724"
From MaRDI portal
The following pages link to On expressivity and compositionality in logics for coalgebras (Q2843724):
Displaying 9 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- On logics for coalgebraic simulation (Q2847807) (← links)
- Towards a Coalgebraic Chomsky Hierarchy (Q3190167) (← links)
- Some Sahlqvist Completeness Results for Coalgebraic Logics (Q4910420) (← links)
- (Q5419875) (← links)