TEMPORAL LOGIC: FROM PHILOSOPHY AND PROOF THEORY TO ARTIFICIAL INTELLIGENCE AND QUANTUM COMPUTING

Sprache: Englisch

Verlag: World Scientific Publishing Co Pte Ltd, SG, 2023

9811268533 / 9789811268533

Anbieter: Rarewaves.com USA, London, London, Vereinigtes KönigreichRarewaves.com USA

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 11. Juni 2025

Hardcover

Zustand: Neu

EUR 117,38

 Versand gratis 
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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.…

Bestandsnummer des Verkäufers LU-9789811268533

Titel
TEMPORAL LOGIC: FROM PHILOSOPHY AND PROOF THEORY TO ARTIFICIAL INTELLIGENCE AND QUANTUM COMPUTING
Autor
Klaus Mainzer, Stefania Centrone
Verlag
World Scientific Publishing Co Pte Ltd, SG
Erscheinungsjahr
2023
Zustand
New
Einband
Hardback
Sprache
Englisch
ISBN-10
9811268533
ISBN-13
9789811268533
Abmessungen
15.24 x 1.42 x 22.86 cm

Rarewaves.com USA

London, London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 11. Juni 2025

Versandkosten von Vereinigtes Königreich nach USA

Artikel9 bis 14 Werktage9 bis 14 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Vereinigtes Königreich W1W 8BE