"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, 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 , anduntil; 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, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7

Review

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic

"About this title" may belong to another edition of this title.

Store Description

The Reader's Corner is such fun,it's too bad you have to buy our books on line. We have eight foot tall outside bookshelves across the entire front of the store. There is a money slot in the door for night sales, which go to support National Public Radio. Inside, which can be too crowded at times, are surprisingly good books, only 1% are ever listed on-line. We also sell records, music cd's, comic books, mags, computer software and games. Best of all is the found art decorating every spare spot. The motto on the front door: NO SHOOTING, NO SMOKING, NO MOONING THE MANAGEMENT.

Visit Seller's Storefront

Seller's business information

Reader's Corner, Inc.
Reader's Corner, Inc, 3201 Hillsborough Street, Raleigh, NC, 27607, U.S.A.

Sale & Shipping Terms

Terms of Sale

Visa, Mastercard, Amex, Discover, Paypal or check. Shipping by USPS Priority Mail $6.50 first volume/$4 each add. vol.This is for octavo sized books only, oversize books will be more. USPS bookrate $3.50 first vol/$1.75 each add. vol. (I cover all Dust Jackets with Brodart Mylar protectors).(For EU: Reader's Corner, 3201 Hillsborough Street, Raleigh N.C., 27607, readcorner@aol.com)

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.