The logic allows propositional-level formulas involving probabilistic programs, and contains full real-number theory for dealing with probabilities. The ...
scholar.google.com › citations
The logic allows propositional-level formulas involving probabilistic programs, and contains the full (quantified) real-number theory for dealing with ...
The logic allows propositional- level formulas involving probabilistic programs, and contains full real- number theory for dealing with probabilities. The ...
A Probabilistic Logic for Reasoning about Uncertain Temporal Information · Computer Science, Mathematics. UAI · 2015.
A logic, PrDL, is presented, which enables formal reasoning about probabilistic programs or, alternatively, reasoning probabilistically about conventional ...
People also ask
Is propositional logic decidable?
What is propositional dynamic logic?
What is a dynamic logic?
This paper provides some model-theoretic analysis for probability (modal) logic ($PL$). It is known that this logic does not enjoy the compactness property.
The decidability proof introduces a succession of abstractions of the notion of a model, from the full generality of measure theoretical models, down to the ...
Jan 1, 1991 · Abstract. This paper deals with various versions of finite propositional probabilistic dynamic logic. We present probabilistic propositional ...
Missing: Decidable | Show results with:Decidable
Title. A DECIDABLE PROPOSITIONAL DYNAMIC LOGIC WITH EXPLICIT PROBABILITIES ; Creators. YA FELDMAN (null) ; Resource Type. Journal article ; Publication Details.
Missing: Probabilistic | Show results with:Probabilistic
[Rev]. [S]. Y. A. FELDMAN, A decidable propositional probabilistic dynamic logic, in “Proc. 15th ACM. Sympos. on Theory of Computing," 1983, pp. 298 ...