Temporal Logic: Volume 1 (Hardcover, illustrated edition)

This 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. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of 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. Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.

General

Imprint:	Clarendon Press
Country of origin:	United Kingdom
Series:	Temporal Logic, 28
Release date:	July 1994
Authors:	Dov M. Gabbay • Ian Hodkinson • Mark Reynolds
Dimensions:	242 x 160 x 38mm (L x W x T)
Format:	Hardcover
Pages:	668
Edition:	illustrated edition
ISBN-13:	978-0-19-853769-4
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	0-19-853769-7
Barcode:	9780198537694

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!