Description: Further DetailsTitle: Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum ComputingCondition: NewFormat: HardbackEAN: 9789811268533ISBN: 9789811268533Publisher: World Scientific Publishing Co Pte LtdRelease Date: 06/23/2023Description: 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.Language: EnglishCountry/Region of Manufacture: SGAuthor: Klaus Mainzer, Stefania CentroneGenre: Science Nature & MathRelease Year: 2023 Missing Information?Please contact us if any details are missing and where possible we will add the information to our listing.
Price: 100.44 USD
Location: GU14 0GT
End Time: 2025-01-19T14:00:36.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money back or replacement (buyer's choice)
Book Title: Temporal Logic: From Philosophy And Proof Theory To Artificial In
Title: Temporal Logic: From Philosophy And Proof Theory To Artificial In
EAN: 9789811268533
ISBN: 9789811268533
Release Date: 06/23/2023
Release Year: 2023
Country/Region of Manufacture: SG
Genre: Science Nature & Math
Publisher: World Industries Scientific Publishing Co Pte LTD
Subject: General
Publication Year: 2023
Number of Pages: Xii, 208 Pages
Publication Name: Temporal Logic : from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
Language: English
Type: Textbook
Subject Area: Mathematics
Author: Stefania Centrone, Klaus Mainzer
Format: Hardcover
