This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.

Inhalt
Mathematical Background.- 1. Logic and Model Theory.- 2. Inductive Definability.- I Computability.- 3. Introduction to Part I.- 4. Main Properties of Program Schemas.- 5. Extension of Program Schemas.- 6. Program Schemas with Stacks.- 7. Computability.- 8. On Inductive Definability of 1- and 2-Computable Relations.- II Extended Dynamic Logics.- 9. Introduction to Part II.- 10. Description of Program Properties.- 11. Den-based Descriptive Languages.- 12. The Problem of Completeness.- 13. Dynamic Logic Generated by Extension.- 14. Continuous Denotational Semantics.- 15. Definable Denotational Semantics.- III Temporal Characterization of Programs.- 16. Introduction to Part III.- 17. Temporal Logic.- 18. Temporal Logical Description of Program Properties.- 19. Is Temporal Logic Expressible in Dynamic Logic?.- 20. Is Dynamic Logic Expressible in Temporal Logic?.- 21. The Case of Enumerable Models.- 22. Temporal Axiomatization of Program Verification Methods.- IV Programming Logic with Explicit Time.- 23. Introduction to Part IV.- 24. Time Logic.- 25. Definability in Regular Time Theories.- 26. Expressive Power of Time.- Epilogue.- References.- Notations.