Pages that link to "Item:Q809069"

The following pages link to Decidability of finite probabilistic propositional dynamic logics (Q809069):

Displaying 5 items.

• Extending propositional dynamic logic for Petri nets (Q281154) (← links)
• Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
• A probabilistic PDL (Q1063584) (← links)
• Concurrent program schemes and their logics (Q1094866) (← links)
• Reasoning about probabilistic sequential programs (Q2373709) (← links)