Pages that link to "Item:Q2892686"
From MaRDI portal
The following pages link to A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686):
Displaying 8 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)
- A probabilistic dynamic logic (Q792757) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- (Q4842972) (← links)
- Complexity and expressivity of propositional dynamic logics with finitely many variables (Q5095651) (← links)
- The epistemology of nondeterminism (Q6097774) (← links)