About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
Information and Computation
Paper
Decidability of finite probabilistic propositional dynamic logics
Abstract
This paper deals with various versions of finite propositional probabilistic dynamic logic. We present probabilistic propositional dynamic logic with simple probabilistic estimations and "almost regular" program language. Besides the logics previously introduced in the literature we present some natural variations and extensions of these logics. We investigate the (un)decidability of these logics and give a complete picture of decidability and undecidability. Some of these logics have the finite model property, and therefore, if they are undecidable, they are exactly Π10. We show that allowing nesting and probabilistic choice often leads to undecidability. © 1991.