Pages that link to "Item:Q1023291"

The following pages link to Coalgebraic logic for stochastic right coalgebras (Q1023291):

Displaying 16 items.

• A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
• Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
• Stochastic coalgebraic logic (Q1049890) (← links)
• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
• On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras (Q2100417) (← links)
• Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
• A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
• A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686) (← links)
• Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
• Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
• Weak bisimulations for the Giry monad (Q3060190) (← links)
• (Q4029593) (← links)
• (Q4989397) (← links)
• Bisimilarity is not Borel (Q5361144) (← links)
• Bisimilarity of Distributionally Equivalent Markov Transition Systems (Q5415607) (← links)