A Propositional Dynamic Logic with Qualitative Probabilities
- Cite this article as:
- Guelev, D.P. Journal of Philosophical Logic (1999) 28: 575. doi:10.1023/A:1004602621885
This paper presents an ω-completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (D Q P), which has been introduced by the author as a dynamic extension of the logic of qualitative probabilities (Q P) introduced by Segerberg.