, Volume 28, Issue 6, pp 575-604

A Propositional Dynamic Logic with Qualitative Probabilities

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.