Delivery included to the United States

Temporal Logic. Vol. 2 Mathematical Foundations and Computational Aspects

Temporal Logic. Vol. 2 Mathematical Foundations and Computational Aspects - Oxford Logic Guides

Hardback (30 Mar 2000)

Save $3.18

  • RRP $300.78
  • $297.60
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

About the Publisher

Oxford University Press

Oxford University Press is a department of the University of Oxford. It furthers the University's objective of excellence in research, scholarship, and education by publishing worldwide. Our products cover an extremely broad academic and educational spectrum, and we aim to make our content available to our users in whichever format suits them best.We publish for all audiences-from pre-school to secondary level schoolchildren; students to academics; general readers to researchers; individuals to institutions. Our range includes dictionaries, English language teaching materials, children's books, journals, scholarly monographs, printed music, higher education textbooks, and schoolbooks.

Book information

ISBN: 9780198537687
Publisher: OUP OXFORD
Imprint: Oxford University Press
Pub date:
DEWEY: 005.131
DEWEY edition: 21
Language: English
Number of pages: 597
Weight: 1102g
Height: 245mm
Width: 164mm
Spine width: 37mm