A probabilistic PDL (Q1063584): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Propositional dynamic logic of regular programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5726943 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics of probabilistic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reasoning with time and chance / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5581642 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability of finite probabilistic propositional dynamic logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3347262 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4098445 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5620935 / rank | |||
Normal rank |
Latest revision as of 19:00, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A probabilistic PDL |
scientific article |
Statements
A probabilistic PDL (English)
0 references
1985
0 references
The paper gives a probabilistic analog of propositional dynamic logic (PDL), so called PPDL, in order to analyze the properties of probabilistic programs (in the same sense in which PDL intends for the analysis of standard ones). The main result is a ''small model property'' of PPDL stating roughly that if a PPDL formula F has a model, it has small finite ones. Then a polynomial-space algorithm is proposed deciding upon validity of formulas involving ''well-structured'' probabilistic programs. The last part illustrates the usage of some proposed deductive calculus (for PPDL) in an example of simple random walk.
0 references
analysis of probabilistic algorithms
0 references
probabilistic analog of propositional dynamic logic
0 references
probabilistic programs
0 references
small model property
0 references
deductive calculus
0 references