Pages that link to "Item:Q2847817"
From MaRDI portal
The following pages link to Coalgebras and modal expansions of logics (Q2847817):
Displaying 9 items.
- Stone coalgebras (Q703523) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Implicative logics, Lambek systems and exponential multicategories (Q2751816) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Stone coalgebras (Q2843727) (← links)
- (Q4499303) (← links)
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics (Q5034233) (← links)
- (Q5419875) (← links)
- Algebra and Coalgebra in Computer Science (Q5492825) (← links)