Journal of Philosophical Logic

, Volume 28, Issue 6, pp 575-604

First online:

A Propositional Dynamic Logic with Qualitative Probabilities

  • Dimitar P. GuelevAffiliated withDepartment of Mathematical Logic and Its Applications, Faculty of Mathematics and Informatics, Sofia University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.

dynamic logic probabilistic logic propositional logic stochastic processes