A probabilistic dynamic logic (Q792757): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-0000(84)90065-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1984960155 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Soundness and Completeness of an Axiom System for Program Verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Propositional dynamic logic of regular programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concerning measures in first order calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5726943 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-order dynamic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4029000 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Termination of Probabilistic Concurrent Program / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics of probabilistic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A probabilistic PDL / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descriptive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3746875 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4164569 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probabilistic parallel prefix computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573961 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5537599 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5599800 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4135031 / rank | |||
Normal rank |
Latest revision as of 12:40, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A probabilistic dynamic logic |
scientific article |
Statements
A probabilistic dynamic logic (English)
0 references
1984
0 references
This paper defines a formal logic PrDL whose syntax derives from Pratt's first-order dynamic logic and whose semantics is an extension of Kozen's for probabilistic programs. An axiom system for PrDL is given and shown to be complete relative to an extension of first-order analysis. For discrete probabilities it is shown that first-order analysis actually suffices. Some precursors of this paper are \textit{J. H. Reif's} propositional version [12th ACM Symp. Theory of Computing, 8-13 (1980)] and \textit{L. Ramshaw's} semiformal system based on the Floyd-Hoare inductive assertion method [Ph. D. thesis (1981), Stanford University].
0 references
completeness
0 references
dynamic logic
0 references
semantics
0 references
probabilistic programs
0 references