A Propositional Dynamic Logic with Qualitative Probabilities |
| |
| Authors: | Guelev Dimitar P |
| |
| Institution: | (1) Department of Mathematical Logic and Its Applications, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126 Sofia, Bulgaria |
| |
| Abstract: | 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. |
| |
| Keywords: | dynamic logic probabilistic logic propositional logic stochastic processes |
| 本文献已被 SpringerLink 等数据库收录！ |
|
