×

zbMATH — the first resource for mathematics

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).

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