The completeness of propositional dynamic logic
- 1 January 1978
- book chapter
- Published by Springer Nature
- p. 403-415
- https://doi.org/10.1007/3-540-08921-7_88
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A decidability result for a second order process logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- Arithmetical completeness in logics of programsPublished by Springer Nature ,1978
- Propositional modal logic of programsPublished by Association for Computing Machinery (ACM) ,1977
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976