A propositional dynamic logic with qualitative probabilities

Journal of Philosophical Logic 28 (6):575-604 (1999)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1004602621885

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Three prepositional calculi of probability.Herman Dishkant - 1980 - Studia Logica 39 (1):49 - 61.
Extending probabilistic dynamic epistemic logic.Joshua Sack - 2009 - Synthese 169 (2):241 - 257.
Past Probabilities.Sven Ove Hansson - 2010 - Notre Dame Journal of Formal Logic 51 (2):207-223.
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.
PDL has interpolation.Tomasz Kowalski - 2002 - Journal of Symbolic Logic 67 (3):933-946.
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.
The semantics of HOARE's iteration rule.Robert Goldblatt - 1982 - Studia Logica 41 (2-3):141 - 158.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.

Analytics

Added to PP
2009-01-28

Downloads
44 (#361,171)

6 months
4 (#790,339)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
A Companion to Modal Logic.G. E. Hughes & M. J. Cresswell - 1995 - Studia Logica 54 (3):411-413.
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.

Add more references