A propositional dynamic logic with qualitative probabilities

Authors
Guelev, DP
Citation
Dp. Guelev, A propositional dynamic logic with qualitative probabilities, J PHILOS LO, 28(6), 1999, pp. 575-605
Citations number
20
Categorie Soggetti
Philosiphy
Journal title
JOURNAL OF PHILOSOPHICAL LOGIC
ISSN journal
00223611 → ACNP
Volume
28
Issue
6
Year of publication
1999
Pages
575 - 605
Database
ISI
SICI code
0022-3611(199912)28:6<575:APDLWQ>2.0.ZU;2-F
Abstract
This paper presents an omega-completeness theorem for a new propositional p robabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (DQP), which has been introduced by the author as a dynamic e xtension of the logic of qualitative probabilities (QP) introduced by Seger berg.