Thomas R. Puzak, A. Hartstein, et al.
CF 2007
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.
Thomas R. Puzak, A. Hartstein, et al.
CF 2007
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007
B.K. Boguraev, Mary S. Neff
HICSS 2000
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007