Logics of time and computation /
Saved in:
| Author / Creator: | Goldblatt, Robert |
|---|---|
| Imprint: | Stanford, CA : Center for the Study of Language and Information, c1987. |
| Description: | ix, 131 p. ; 24 cm. |
| Language: | English |
| Series: | CSLI lecture notes no. 7 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/920561 |
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