A simple dynamic logic
- 31 December 1986
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 46, 239-259
- https://doi.org/10.1016/0304-3975(86)90032-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- STRUCTURED NONSTANDARD DYNAMIC LOGICMathematical Logic Quarterly, 1984
- A complete logic for reasoning about programs via nonstandard model theory IITheoretical Computer Science, 1982
- A complete logic for reasoning about programs via nonstandard model theory ITheoretical Computer Science, 1982
- Contributions to the Theory of Semisets II. The theory of semisets and end‐extensions in a syntactic settingMathematical Logic Quarterly, 1972
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic SystemsMathematical Logic Quarterly, 1968
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960