Propositional dynamic logic of flowcharts
- 31 March 1985
- journal article
- Published by Elsevier in Information and Control
- Vol. 64 (1-3) , 119-135
- https://doi.org/10.1016/s0019-9958(85)80047-4
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Temporal logic can be more expressiveInformation and Control, 1983
- 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
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Complexity measures for regular expressionsJournal of Computer and System Sciences, 1976
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967