Pages that link to "Item:Q1961927"
From MaRDI portal
The following pages link to A propositional dynamic logic with qualitative probabilities (Q1961927):
Displaying 5 items.
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Probabilistic Temporal Logics (Q5024714) (← links)
- Some New Probability Operators (Q5024716) (← links)
- Reasoning About Degrees of Confirmation (Q5098743) (← links)
