Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
Type
Physical Book
Author
Publisher
Language
English
Pages
220
Format
Hardcover
Dimensions
22.9x15.2x1.4 cm
Weight
0.47 kg.
ISBN13
9789811268533
Categories

Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

Klaus Mainzer (Author) · Stefania Centrone (Author) · World Scientific Publishing Company · Hardcover

Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing - Mainzer, Klaus ; Centrone, Stefania

Cheaper New Book Imported to Netherlands
Delivery: 30 Sep - 07 Oct Shipping: 16 to 20 business days.
€ 103,41
Faster New Book Imported to Netherlands
Delivery: 15 Sep - 17 Sep Shipping: 5 to 6 business days.
€ 105,47
Import costs and 9% BTW included in the price ✅
€ 103,41

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing"

Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science.The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

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