Pages that link to "Item:Q2892686"

The following pages link to A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686):

Displaying 3 items.

• Algebraic properties of stochastic effectivity functions (Q406467) (← links)
• Propositional dynamic logic for searching games with errors (Q472791) (← links)
• A stochastic interpretation of game logic (Q516033) (← links)