This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist.
"synopsis" may belong to another edition of this title.
Dov Gabbay, Ian Hodkinson, and Mark Reynolds are all at Imperial College of Science, Technology and Medicine, London.
"This book is a wonderful introduction to the area, rich in technical details, and at the same time, rich in motivations."--Modern Logic "This book represents the fruitful achievements of the
"About this title" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Shipping:
US$ 4.30
Within U.S.A.
Seller: SecondSale, Montgomery, IL, U.S.A.
Condition: Acceptable. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00060125580
Quantity: 1 available
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. First edition, first printing, 653 pp., hardcover, lacks the jacket, spine severely slanted, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1298165
Quantity: 1 available
Seller: 369 Bookstore _[~ 369 Pyramid Inc ~]_, Dover, DE, U.S.A.
Hardcover. Condition: Good. This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist. Seller Inventory # AMPLE0198537697
Quantity: 1 available
Seller: Ammareal, Morangis, France
No jacket. Condition: Très bon. Ancien livre de bibliothèque. Livre un peu vrillé. Sans jaquette. Couverture différente. Edition 1994. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Book slightly twisted. No dust jacket. Different cover. Edition 1994. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-867-957
Quantity: 1 available
Seller: Ammareal, Morangis, France
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-595-569
Quantity: 1 available
Seller: Half Moon Books, Kingston, NY, U.S.A.
Hardcover. Condition: Very Good. Covers show some yellowing, soiling and scuffing. Seller Inventory # mon0000001049
Quantity: 1 available
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Cloth. Condition: Very Good. Type: Book Small address label on ffep. Seller Inventory # 050430
Quantity: 1 available
Seller: Front Cover Books, Denver, CO, U.S.A.
Condition: new. Seller Inventory # FrontCover0198537697
Quantity: 1 available
Seller: GoldBooks, Denver, CO, U.S.A.
Hardcover. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0198537697
Quantity: 1 available
Seller: GoldenWavesOfBooks, Fayetteville, TX, U.S.A.
Hardcover. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_0198537697
Quantity: 1 available