Propositional dynamic logic of flowcharts
- 1 January 1983
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Deterministic propositional dynamic logic: Finite models, complexity, and completenessJournal of Computer and System Sciences, 1982
- Propositional dynamic logic of looping and converse is elementarily decidableInformation and Control, 1982
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- Temporal logic can be more expressivePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Models of program logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Nondeterminism in logics of programsPublished by Association for Computing Machinery (ACM) ,1978
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Complexity measures for regular expressionsJournal of Computer and System Sciences, 1976
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967