Advances in Temporal Logic Image close
Advances in Temporal Logic on Hardback
Advances in Temporal Logic on Hardback
Show Hide Adult Content
Advances in Temporal Logic close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Advances in Temporal Logic

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$457.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $114.25 with Afterpay Learn more

6 weekly interest-free payments of $76.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Applied Logic Series

See all products in this series

Frontiers in Belief Revision on Hardback
$457.00
Frontiers in Belief Revision
Hardback
Available - Usually ships in 3-4 weeks
Fallacies Arising from Ambiguity on Hardback by Douglas Walton
$530.00
Fallacies Arising from Ambiguity
by Douglas Walton ~ Hardback
Available - Usually ships in 3-4 weeks
Proof Theory of Modal Logic on Hardback
$470.00
Proof Theory of Modal Logic
Hardback
Available - Usually ships in 3-4 weeks
Goal-Directed Proof Theory on Hardback by Dov M Gabbay
$297.00
Goal-Directed Proof Theory
by Dov M Gabbay ~ Hardback
Available - Usually ships in 3-4 weeks
The Death of Argument on Hardback by J.H. Woods
$455.00
The Death of Argument
by J.H. Woods ~ Hardback
Available - Usually ships in 3-4 weeks
Proof Theory for Fuzzy Logics on Hardback by George Metcalfe
$363.00
Proof Theory for Fuzzy Logics
by George Metcalfe ~ Hardback
Available - Usually ships in 3-4 weeks
A Modern Perspective on Type Theory on Hardback by Rob Nederpelt
$532.00
A Modern Perspective on Type Theory
by Rob Nederpelt ~ Hardback
Available - Usually ships in 3-4 weeks
An Introduction to Mathematical Logic and Type Theory on Hardback by Peter B. Andrews
$378.00
An Introduction to Mathematical Logic and Type Theory
by Peter B. Andrews ~ Hardback
Available - Usually ships in 3-4 weeks
Foundations of Rational Agency
$452.00
Foundations of Rational Agency
Paperback / softback
Available - Usually ships in 3-4 weeks
A Modern Perspective on Type Theory by Rob Nederpelt
$373.00
A Modern Perspective on Type Theory
by Rob Nederpelt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Logic and its Proof-Theory by Torben Brauner
$293.00
Hybrid Logic and its Proof-Theory
by Torben Brauner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Labelled Deduction
$294.00
Labelled Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Intensional Logic
$450.00
Advances in Intensional Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
Abduction and Induction on Hardback
$453.00
Abduction and Induction
Hardback
Available - Usually ships in 3-4 weeks
Fuzzy Sets, Logics and Reasoning about Knowledge on Hardback
$456.00
Fuzzy Sets, Logics and Reasoning about Knowledge
Hardback
Available - Usually ships in 3-4 weeks
Proof Theory for Fuzzy Logics by George Metcalfe
$345.00
Proof Theory for Fuzzy Logics
by George Metcalfe ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades before 1999, Pnueli showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at an International Conference on Temporal Logic, at the University of Manchester, UK.
Release date NZ
December 31st, 1999
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Dov M Gabbay
  • Edited by Graham Gough
  • Edited by Howard Barringer
  • Edited by Michael Fisher
Illustrations
IX, 453 p.
Pages
453
Dimensions
156x234x25
ISBN-13
9780792361497
Product ID
2051758

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence