×
Harel, David

First-order dynamic logic. (English) Zbl 0403.03024

Lecture Notes in Computer Science. 68. Berlin-Heidelberg-New York: Springer-Verlag. 133 p. DM 18.00; $ 9.90 (1979).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0403.03024

Cited in 12 Reviews
Cited in 103 Documents

MSC:

03B60 Other nonclassical logic
68Q60 Specification and verification (program logics, model checking, etc.)
68W99 Algorithms in computer science
03B45 Modal logic (including the logic of norms)
68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
68-02 Research exposition (monographs, survey articles) pertaining to computer science

Keywords:

First-Order Dynamic Logic; Reasonning About Programs; Correctness; Equivalence and Determinacy of Programs; Recursive Programs; Flowchart; Semantics; Axiomatizations
PDF BibTeX XML