On the power of nondeterminism in dynamic logic
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A note on equivalences among logics of programsPublished by Springer Nature ,1982
- The prepositional dynamic logic of deterministic, well-structured programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- On the expressive power of Dynamic Logic (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1979
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976