A decidable propositional dynamic logic with explicit probabilities (Q3721807)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3951997
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A decidable propositional dynamic logic with explicit probabilities |
scientific article; zbMATH DE number 3951997 |
Statements
A decidable propositional dynamic logic with explicit probabilities (English)
0 references
1984
0 references
probabilistic programs
0 references
measure theoretical models
0 references
schematic models
0 references
0.8701995015144348
0 references
0.8639815449714661
0 references
0.8632340431213379
0 references
0.8314177989959717
0 references
