Temporal Logic: Mathematical Foundations and Computational Aspects (Oxford Logic Guides, Band 28) - Hardcover

Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark A.

 
9780198537694: Temporal Logic: Mathematical Foundations and Computational Aspects (Oxford Logic Guides, Band 28)
Hardcover
ISBN 10: 0198537697 ISBN 13: 9780198537694
Verlag: Clarendon Press, 1994

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Clarendon Press
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0198537697
ISBN 13 
9780198537694
Einband
Gebundene Ausgabe
Anzahl der Seiten
668
Kontakt zum Hersteller
ORIGINAL KAISER
https://corp.oup.com/

Via Liguria 4
San Giuliano Milanese
MI
20098
Italien