Pages that link to "Item:Q283748"
From MaRDI portal
The following pages link to On a categorical framework for coalgebraic modal logic (Q283748):
Displaying 12 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Steps and traces (Q1798791) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- On expressivity and compositionality in logics for coalgebras (Q2843724) (← links)
- On a coalgebraic view on logic (Q2863171) (← links)
- Strongly complete logics for coalgebras (Q2914235) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q3351360) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Foundations of Software Science and Computational Structures (Q5705903) (← links)
- (Q5875347) (← links)