The following pages link to A probabilistic dynamic logic (Q792757):
Displaying 6 items.
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- An analysis of first-order logics of probability (Q757340) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Probabilistic Logic over Paths (Q5415665) (← links)
- A dynamic logic with branching modalities (Q6151608) (← links)
