STRUCTURED NONSTANDARD DYNAMIC LOGIC
- 1 January 1984
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 30 (31) , 481-497
- https://doi.org/10.1002/malq.19840303102
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Nonstandard Dynamic LogicPublished by Springer Nature ,2005
- On induction vs. *-continuityPublished by Springer Nature ,2005
- Nonstandard runs of Floyd-provable programsLecture Notes in Computer Science, 1983
- Sharpening the characterization of the power of Floyd methodLecture Notes in Computer Science, 1983
- A complete logic for reasoning about programs via nonstandard model theory ITheoretical Computer Science, 1982
- Making dynamic logic first-orderPublished by Springer Nature ,1981
- A characterization of Floyd-provable programsLecture Notes in Computer Science, 1981
- Dynamic algebras of programsLecture Notes in Computer Science, 1981
- Propositional dynamic logics of programs: A surveyLecture Notes in Computer Science, 1981
- Application of modal logic to programmingStudia Logica, 1980