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

by Klaus Mainzer and Stefania Centrone

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

• Format: Hardcover
• Language: English
• ISBN: 9811268533
• ISBN13: 9789811268533
• Release Date: May 2023
• Publisher: World Scientific Publishing Company
• Length: 220 Pages
• Weight: 1.03 lbs.
• Dimensions: 0.6" x 6.0" x 9.0"