|
|
Y. A. Feldman (1984): A Decidable Propositional Dynamic Logic with Explicit Probabilities
| Title: |
A Decidable Propositional Dynamic Logic with Explicit Probabilities |
| Author(s): |
Y. A. Feldman |
| Year: |
1984 |
| Journal: |
Information and Control |
| Volume: |
63 |
| Pages: |
11-38 |
Concepts
|
|
