你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Temporal Logics (Elements in Philosophy and Logic)
Type
Physical Book
Language
English
Pages
75
Format
Paperback
ISBN13
9781009170109

Temporal Logics (Elements in Philosophy and Logic)

Valentin Goranko (Author) · Cambridge University Press · Paperback

Temporal Logics (Elements in Philosophy and Logic) - Valentin Goranko

New Book Imported to Taiwan
Delivery: 28 Sep - 06 Oct Shipping: 2 to 3 business days.
NT$ 1,052
NT$ 1,052

Synopsis "Temporal Logics (Elements in Philosophy and Logic) "

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews