First-Order Dynamic Logic

Editors:

ISBN: 978-3-540-09237-7 (Print) 978-3-540-35346-1 (Online)

Table of contents (2 chapters)

  1. No Access

    Book Chapter

    Pages 5-56

    Part I: Binary-relation semantics

  2. No Access

    Book Chapter

    Pages 57-116

    Part II: Computation-tree semantics