Pages that link to "Item:Q5899086"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899086):
Displaying 8 items.
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Admissibility of cut in coalgebraic logics (Q2873670) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- (Q5094147) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
