Pages that link to "Item:Q2994480"

The following pages link to Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480):

Displaying 4 items.

• A stochastic interpretation of game logic (Q516033) (← links)
• Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
• Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
• Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)