Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
Regular price
€82.99
14 days return policy
Shipping & Delivery
A01=Klaus Mainzer
A01=Stefania Centrone
Artificial Intelligence
Author_Klaus Mainzer
Author_Stefania Centrone
Automata-Based Calculus
Basic Modal Logic (BML)
Category=PBCD
Computation Tree Logic (CTL)
Constructive Logic
Cosmological Time
Dialogue-Based Calculus
Dialogue-Based Logic
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Ethics of AI
Full Computation Tree Logic (CTL*)
Game-Based Calculus
Gentzen Calculus
Intuitionistic Logic
Linear-Time Temporal Logic (Ltl)
Machine Learning
Natural Deduction
Neural Networks
Proof Theory
Quantum Computer
Quantum Computing
Quantum Temporal Logic
Relativistic Temporal Logic
Relativistic Time
Security of AI
Sequent Calculus
Standardization of AI
Tableaux-based Calculus
Temporal Logic
Product details
- ISBN 9789811268533
- Publication Date: 23 Jun 2023
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
