Journal of Philosophical Logic 28 (6):575-604 (1999)
| Abstract |
This paper presents an w-completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (DQP), 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 |
| Categories | (categorize this paper) |
| Reprint years | 2004 |
| DOI | 10.1023/A:1004602621885 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Qualitative Probability as an Intensional Logic.Peter Gärdenfors - 1975 - Journal of Philosophical Logic 4 (2):171 - 185.
Halldén-Completeness by Gluing of Kripke Frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
Citations of this work BETA
No citations found.
Similar books and articles
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
A Dynamic Logic of Action.Brigitte Penther - 1994 - Journal of Logic, Language and Information 3 (3):169-210.
Means-End Relations and a Measure of Efficacy.Jesse Hughes, Albert Esterline & Bahram Kimiaghalam - 2006 - Journal of Logic, Language and Information 15 (1-2):83-108.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Analytics
Added to PP index
2009-01-28
Total views
36 ( #313,733 of 2,499,195 )
Recent downloads (6 months)
1 ( #419,059 of 2,499,195 )
2009-01-28
Total views
36 ( #313,733 of 2,499,195 )
Recent downloads (6 months)
1 ( #419,059 of 2,499,195 )
How can I increase my downloads?
Downloads
