Temporal Logic: Volume 1 - Mathematical Foundations and Computational Aspects

Zusatztext 'This book represents the fruitful achievments of the authors' outstanding accomplishments and coooperation in the field of temporal logic! providing a comprehensive mathematical and computational tool for research and applications of the domain... na extensive bibliography of 666 basic titles in the field! and adequate indexes! add to the high quality and usefulness of the book' Zentralblatt Math Zusammenfassung BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.

Product details

• Authors: Dov M. Gabbay, Dov M. (King''s College London) Hodkinson Gabbay, Dov M. Hodkinson Gabbay, GABBAY DOV M KING S COLLEGE LO, Ian Hodkinson, Mark Reynolds, Reynolds Mark
• Publisher: Oxford University Press
• Languages: English
• Product format: Hardback
• Released: 21.07.1994
• EAN: 9780198537694
• ISBN: 978-0-19-853769-4
• No. of pages: 668
• Series: Oxford Logic Guides; Temporal Logic; Oxford Logic Guides; Temporal Logic
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Probability theory, stochastic theory, mathematical statistics; Artificial Intelligence, MATHEMATICS / Logic, COMPUTERS / Machine Theory, Mathematical theory of computation, Mathematical logic, COMPUTERS / Artificial Intelligence / General