A propositional dynamic logic with qualitative probabilities
From MaRDI portal
Publication:1961927
DOI10.1023/A:1004602621885zbMath0939.03028MaRDI QIDQ1961927
Publication date: 30 January 2000
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
stochastic processes; \(\omega\)-completeness theorem; dynamic propositional logic of qualitative probabilities; propositional probabilistic logic
03B48: Probability and inductive logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A probabilistic PDL
- Probabilistic duration calculus for continuous time
- Qualitative probability as an intensional logic
- A logic for reasoning about probabilities
- Axiomatizing probabilistic processes: ACP with generative probabilities
- Determiners and logic