Propositional dynamic logic of regular programs
- 1 April 1979
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 18 (2) , 194-211
- https://doi.org/10.1016/0022-0000(79)90046-1
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The Computational Complexity of Provability in Systems of Modal Propositional LogicSIAM Journal on Computing, 1977
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Theory of Program Structures: Schemes, Semantics, VerificationPublished by Springer Nature ,1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963