Temporal Logic by Dov M. Gabbay & I.D. Hodkinson & Mark Reynolds

Mathematical Foundations and Computational Aspects

A useful reference for both the pure logician and the theoretical computer scientist, 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. 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.
`Author(s) :` Dov M. Gabbay & Mark Reynolds	`Format :` Hardback Book
`ISBN-10 :` 0198537697	`ISBN-13 :` 9780198537694
`RRP :` £115.00	`Best available price :` £ / $
`Prices as of : BST check live prices`

store	stock level	item price	inc. delivery
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
Delivery prices - shown in this table - are for the cost of a domestic delivery, as given by the company.

Product Details:

Series Title : Oxford Logic Guides

Country Publication : United Kingdom

Publication Date : 21/07/1994

Publisher : Oxford University Press

Page Length : 668mm

Page Size : 234mm