The following pages link to Stone coalgebras (Q703523):
Displayed 4 items.
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)