First order dynamic logic with decidable proofs and workable model theory
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 334-340
- https://doi.org/10.1007/3-540-10854-8_37
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Axioms of algorithmic logic univocally determine semantics of programsPublished by Springer Nature ,2005
- Completeness problems in verification of programs and program schemesPublished by Springer Nature ,1979
- Model Theory for Modal LogicPublished by Springer Nature ,1979