The item you selected is unavailable, but we found something similar.

Picture 1 of 1

Stock photo

Lecture Notes Ser.: Logics of Time and Computation by Robert Goldblatt (1992, Trade Paperback, Revised edition)

Be the first towrite a review.

Great Book Prices Store (300831)
96.8% positive feedback

Price:

$34.41

Free shipping

Estimated delivery Fri, May 10 - Tue, May 21

Returns:

14 days returns. Buyer pays for return shipping.

Condition:

Brand New

Logics of Time and Computation, Paperback by Goldblatt, Robert, ISBN 0937073946, ISBN-13 9780937073940, Brand New, Free shipping in the US 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.

About this product

Product Information

Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand.

Product Identifiers

Publisher
Csli Publications/Center for T.H.E. Study of Language & Information
ISBN-10
0937073946
ISBN-13
9780937073940
eBay Product ID (ePID)
82951

Product Key Features

Author
Robert Goldblatt
Publication Name
Logics of Time and Computation
Format
Trade Paperback
Language
English
Features
Revised
Publication Year
1992
Series
Lecture Notes Ser.
Type
Textbook
Number of Pages
180 Pages

Dimensions

Item Length
0.9in
Item Height
0.1in
Item Width
0.7in
Item Weight
11.3 Oz

Additional Product Features

Series Volume Number
7
Edition Description
Revised Edition
Edition Number
2
Table of Content
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.
Copyright Date
1992
Target Audience
Scholarly & Professional
Topic
Intelligence (Ai) & Semantics, General, Teaching Methods & Materials / Language Arts, Logic
Lccn
92-012978
Genre
Computers, Education, Mathematics, Philosophy

All listings for this product

item 1 Lecture Notes Ser.: Logics of Time and Computation by Robert Goldblatt (1992,...
$14.99
+$5.50 shipping
item 2 Logics of Time and Computation, Paperback by Goldblatt, Robert, Brand New, Fr...
$34.41
Free shipping
item 3 Robert Goldblatt Logics of Time and Computation (Paperback) (UK IMPORT)
$41.25
Free shipping

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
5.0 out of 5 stars based on 6 product ratings
$12.19 New
---- Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 14 product ratings
$33.00 New
$32.00 Used
Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 15 product ratings
$34.89 New
$34.00 Used
PMBOK® Guide Ser.: Guide to the Project Management Body of Knowledge (PMBOK Guide) and the Standard for Project Management by Project Management Institute (2021, Trade Paperback)
4.9 out of 5 stars based on 7 product ratings
$17.42 New
$13.00 Used
Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)
5.0 out of 5 stars based on 4 product ratings
$18.95 New
$17.66 Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.0 out of 5 stars based on 4 product ratings
$19.00 New
$5.27 Used
National Electrical Code 2023 by (NFPA) National Fire Protection Association (2022, Trade Paperback)
5.0 out of 5 stars based on 2 product ratings
$25.00 New
---- Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR w/ PAGE TABLE
$25.00
Trending at $39.99
PMBOK A Guide to the Project Management Body of Knowledge 7th Ed NEW READ No Cov
$17.42
Trending at $33.15
usa stock Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck(2020)
$19.90
Trending at $20.80
NEW NFPA 70® NEC Handbook with Index Tabs : 2023 Edition by NFPA USA
$59.50
Trending at $67.45
Designing Data-Intensive Applications : The Big Ideas Behind Reliable Brand New
$15.00
Trending at $18.95
Diagnostic & Statistical Manual of Mental Disorders: DSM-5-TR(Hardcover) Fast...
$41.45
Trending at $43.95

Shop by category

Picture 1 of 1

Lecture Notes Ser.: Logics of Time and Computation by Robert Goldblatt (1992, Trade Paperback, Revised edition)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

All listings for this product

item 1 Lecture Notes Ser.: Logics of Time and Computation by Robert Goldblatt (1992,...

item 2 Logics of Time and Computation, Paperback by Goldblatt, Robert, Brand New, Fr...

item 3 Robert Goldblatt Logics of Time and Computation (Paperback) (UK IMPORT)

Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

PMBOK® Guide Ser.: Guide to the Project Management Body of Knowledge (PMBOK Guide) and the Standard for Project Management by Project Management Institute (2021, Trade Paperback)

Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

National Electrical Code 2023 by (NFPA) National Fire Protection Association (2022, Trade Paperback)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR w/ PAGE TABLE

PMBOK A Guide to the Project Management Body of Knowledge 7th Ed NEW READ No Cov

usa stock Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck(2020)

NEW NFPA 70® NEC Handbook with Index Tabs : 2023 Edition by NFPA USA

Designing Data-Intensive Applications : The Big Ideas Behind Reliable Brand New

Diagnostic & Statistical Manual of Mental Disorders: DSM-5-TR(Hardcover) Fast...

You may also like

Paperback Dictionaries Revised Edition

Atlas Paperbacks Revised Edition

Revised Edition Paperback Textbooks

Revision/Practice Study Paperbacks Prep Revised Edition

IT Study Paperbacks Prep Revised Edition

Paperback Language Course Revised Edition