Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: 1. The handling of time: introduction and survey2. Semantical presentation of temporal connectives3. Axiomatic presentation of propositional temporal connectives4. Predicate temporal logics5. Temporal logics presented in the predicate calculus: language-metalanguage6. A general theory of axiomatization for propositional temporal logic7. Basic many-dimensional systems8. Propositional quantifiers and fixed point operators9. Expressive power of one-dimensional temporal connectives: basic concepts10. Expressive completeness of Since and Until over integer and real time11. Expressive completeness of Stavi connectives over general linear time12. Further expressive completeness results13. H-dimension14. Adding a temporal dimension to a logic system15. Decidability in temporal logicBibliographyNotation IndexIndex of SystemsIndex. Buchnummer des Verkäufers
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.
Über den Autor: Dov Gabbay, Ian Hodkinson, and Mark Reynolds are all at Imperial College of Science, Technology and Medicine, London.
Buchbeschreibung Oxford Science Publications, 1994. Buchzustand: Good. Volume 1. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. With usual stamps and markings, In good all round condition. No dust jacket. Buchnummer des Verkäufers 6034951
Buchbeschreibung Oxford Univ Pr, 1994. Hardcover. Buchzustand: Good. Has minor wear and/or markings. SKU:9780198537694-3-0-3. Buchnummer des Verkäufers 9780198537694-3-0-3
Buchbeschreibung Oxford University Press, USA, 1994. Hardcover. Buchzustand: New. Buchnummer des Verkäufers DADAX0198537697
Buchbeschreibung Clarendon Press, 1994. Hardcover. Buchzustand: New. book. Buchnummer des Verkäufers 0198537697