A probabilistic dynamic logic
- 30 April 1984
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 28 (2) , 193-215
- https://doi.org/10.1016/0022-0000(84)90065-5
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A probabilistic PDLJournal of Computer and System Sciences, 1985
- Termination of Probabilistic Concurrent ProgramACM Transactions on Programming Languages and Systems, 1983
- A decidable propositional probabilistic dynamic logicPublished by Association for Computing Machinery (ACM) ,1983
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981
- Probabilistic Algorithms in Finite FieldsSIAM Journal on Computing, 1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Probability logicAnnals of Mathematical Logic, 1978
- Assigning Probabilities to Logical FormulasPublished by Elsevier ,1966
- Concerning measures in first order calculiIsrael Journal of Mathematics, 1964