Pages that link to "Item:Q2503317"
From MaRDI portal
The following pages link to A modal proof theory for final polynomial coalgebras (Q2503317):
Displaying 12 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Harsanyi type spaces and final coalgebras constructed from satisfied theories (Q2847819) (← links)
- Power-set functors and saturated trees (Q2915670) (← links)
- Deduction Systems for Coalgebras Over Measurable Spaces (Q3056298) (← links)
- A Note on Expressive Coalgebraic Logics for Finitary Set Functors (Q3056299) (← links)
- (Q3086937) (← links)
- The Countable Henkin Principle (Q3454812) (← links)
- Final Coalgebras from Corecursive Algebras. (Q5275353) (← links)
- (Q5465440) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)