Temporal Logic
Regular price
$84.78 USD
Regular price
$94.20 USD
Sale price
$84.78 USD
Unit price
per
You save $9.42 USD (10%)
In stock — Ships within 1–2 business days
Format
Print Book
Currently viewing
Hardcover
$84.78 USD
$94.20 USD
Secure CheckoutYour data is protected
Fast U.S. ShippingShips within 1–2 business days
Authentic Titles100% Genuine Books
Book Overview Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different arc...
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.
Book Details Format: Hardcover | Pages: 208 | Language: English | Publisher: WORLD SCIENTIFIC PUB CO INC | ISBN: 9811268533
FormatHardcover
Pages208
LanguageEnglish
ISBN9811268533
EAN9789811268533
PublisherWORLD SCIENTIFIC PUB CO INC
Publication Date1970-01-01
AccessoriesNo Accessory
ConditionNew
Product TypeHARD COVER BOOKS
Weight1.03 Pounds
Length9.0 Inches
Width6.0 Inches
Height0.56 Inches
Shipping & Returns Fast, reliable shipping and easy returns on eligible items.
Most orders ship within 1–2 business days with fast, reliable U.S. delivery.
Eligible items can be returned within 30 days in line with our store return policy.
Why shop with AlbakiReads
Fresh Inventory from Major Publishers
Sourced through trusted book distributors, with fresh titles added regularly.
Secure Checkout
Your payment information is encrypted and protected every step of the way.
Fast U.S. Shipping
Most orders ship within 1–2 business days.
Books for Every Kind of Reader
From page-turners to timeless classics—find your next favorite read.
