Logics of Time and Computation / Edition 2

Logics of Time and Computation / Edition 2

by Robert Goldblatt
ISBN-10:
0937073946
ISBN-13:
9780937073940
Pub. Date:
06/28/1992
Publisher:
Center for the Study of Language and Inf

Paperback

View All Available Formats & Editions
Current price is , Original price is $30.0. You
Select a Purchase Option (1)
  • purchase options
    $30.00
  • purchase options

Overview

Logics of Time and Computation / Edition 2

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Product Details

ISBN-13: 9780937073940
Publisher: Center for the Study of Language and Inf
Publication date: 06/28/1992
Series: Center for the Study of Language and Information - Lecture Notes Series , #7
Edition description: 1
Pages: 180
Product dimensions: 6.00(w) x 9.00(h) x 0.80(d)

Table of Contents

Preface to the first edition; Preface to the second edition; Part I. Propositional Modal Logic: 1. Syntax and semantics; 2. Proof theory; 3. Canonical models and completeness; 4. Filtrations and decidability; 5. Multimodal languages; 6. Temporal logic; 7. Some topics in metatheory; Part II. Some Temporal and Computational Logic: 8. Logics with linear frames; 9. Temporal logic of concurrency; 10. Propositional dynamic logic; Part III. First-Order Dynamic Logic: 11. Assignments, substitutions, and quantifiers; 12. Syntax and semantics; 13. Proof theory; 14. Canonical model and completeness; Bibliography; Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews