Items related to Temporal Logic: Mathematical Foundations and Computational...
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides) - Hardcover
Synopsis
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.
About the Author
Dov Gabbay, Ian Hodkinson, and Mark Reynolds are all at Imperial College of Science, Technology and Medicine, London.
Review
"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
authors' outstanding accomplishments and cooperation in the field of temporal logic, providing a comprehensive mathematical and computational tool for research and applications of the domain." --Mathematical Reviews
"About this title" may belong to another edition of this title.
- PublisherClarendon Press
- Publication date1994
- ISBN 10 0198537697
- ISBN 13 9780198537694
- BindingHardcover
- Number of pages668
Buy New
Learn more about this copy
US$ 253.04
Shipping:
US$ 4.30
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Acceptable. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00060125580
Quantity: 1 available
Stock Image
Temporal Logic. Mathematical Foundations and Computational Aspects. Volume I. Oxford Logic Guides, No. 28
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, Sept. 23 (sale item)* 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
Stock Image
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Seller: 369 Bookstore _[~ 369 Pyramid Inc ~]_, Dover, DE, U.S.A.
Seller rating 4 out of 5 stars
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
Stock Image
Temporal Logic: Volume 1
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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
Stock Image
Temporal Logic: Volume 1
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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
Stock Image
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Seller: Half Moon Books, Kingston, NY, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Covers show some yellowing, soiling and scuffing. Seller Inventory # mon0000001049
Quantity: 1 available
Stock Image
Temporal Logic: Volume 1: Mathematical Foundations and Computational Aspects: Vol 1 (Oxford Logic Guides)
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Cloth. Condition: Very Good. Type: Book Small address label on ffep. Seller Inventory # 050430
Quantity: 1 available
Stock Image
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Seller: Front Cover Books, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # FrontCover0198537697
Quantity: 1 available
Stock Image
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Seller: Wizard Books, Long Beach, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. New. Seller Inventory # Wizard0198537697
Quantity: 1 available
Stock Image
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0198537697
Quantity: 1 available