Pages that link to "Item:Q558417"
From MaRDI portal
The following pages link to Expressive logics for coalgebras via terminal sequence induction (Q558417):
Displaying 10 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- On minimal coalgebras (Q934670) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (Q6492746) (← links)
