product iamge

Logics of Time and Computation

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Robert Goldblatt
Series: Center for the Study of Language and Information - CSLI Lecture Notes 7
Edition: 2nd
Publisher: CSLI Publications
Year: 1992

Language: English
Pages: 200
City: Philadelphia

Cover......Page 1
Preface to the First Edition......Page 9
Preface to the Second Edition......Page 10
Contents......Page 11
Part One: Propositional Modal Logic......Page 13
1. Syntax and Semantics......Page 15
2. Proof Theory......Page 28
3. Canonical Models and Completeness......Page 36
4. Filtrations and Decidability......Page 43
5. Multimodal Languages......Page 49
6. Temporal Logic......Page 52
7. Some Topics in Metatheory......Page 60
Part Two: Some Temporal and Computational Logics......Page 75
8. Logics with Linear Frames......Page 77
9. Temporal Logic of Concurrency......Page 96
10. Propositional Dynamic Logic......Page 121
Part Three: First-Order Dynamic Logic......Page 153
11. Assignments, Substitutions, and Quantifiers......Page 155
12. Syntax and Semantics......Page 158
13. Proof Theory......Page 166
14. Canonical Model and Completeness......Page 174
Bibliography......Page 181
Index......Page 187