Deterministic dynamic logic is strictly weaker than dynamic logic
- 30 April 1983
- journal article
- Published by Elsevier in Information and Control
- Vol. 57 (1) , 48-55
- https://doi.org/10.1016/s0019-9958(83)80024-2
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Expressing program looping in regular dynamic logicTheoretical Computer Science, 1982
- David Harel. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp.The Journal of Symbolic Logic, 1982