A probabilistic PDL
- 1 April 1985
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 30 (2) , 162-178
- https://doi.org/10.1016/0022-0000(85)90012-1
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The propositional dynamic logic of deterministic, well-structured programsTheoretical Computer Science, 1983
- A decidable propositional probabilistic dynamic logicPublished by Association for Computing Machinery (ACM) ,1983
- Reasoning with time and chanceInformation and Control, 1982
- A probabilistic dynamic logicPublished by Association for Computing Machinery (ACM) ,1982
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981
- Logics for probabilistic programming (Extended Abstract)Published by Association for Computing Machinery (ACM) ,1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- TOPOLOGICAL VECTOR SPACESJournal of the London Mathematical Society, 1965