A propositional dynamic logic with qualitative probabilities
From MaRDI portal
Publication:1961927
DOI10.1023/A:1004602621885zbMATH Open0939.03028OpenAlexW2015208619MaRDI QIDQ1961927
Publication date: 30 January 2000
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004602621885
stochastic processes\(\omega\)-completeness theoremdynamic propositional logic of qualitative probabilitiespropositional probabilistic logic
Cites Work
- A probabilistic PDL
- A logic for reasoning about probabilities
- Determiners and logic
- Axiomatizing probabilistic processes: ACP with generative probabilities
- Qualitative probability as an intensional logic
- Probabilistic duration calculus for continuous time
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (9)
- Some New Probability Operators
- A survey on temporal logics for specifying and verifying real-time systems
- A probabilistic dynamic logic
- Decidability of finite probabilistic propositional dynamic logics
- Logics with Probability Operators
- Reasoning About Degrees of Confirmation
- A logic for reasoning about qualitative probability
- Title not available (Why is that?)
- Probabilistic Temporal Logics
This page was built for publication: A propositional dynamic logic with qualitative probabilities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1961927)
