A decidable propositional dynamic logic with explicit probabilities
- 1 October 1984
- journal article
- Published by Elsevier in Information and Control
- Vol. 63 (1-2) , 11-38
- https://doi.org/10.1016/s0019-9958(84)80039-x
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Undecidability of PDL with L = {a2i |; i ⩾ 0}Journal of Computer and System Sciences, 1984
- A probabilistic dynamic logicJournal of Computer and System Sciences, 1984
- Propositional dynamic logic of nonregular programsJournal of Computer and System Sciences, 1983
- Reasoning with time and chanceInformation and Control, 1982
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979